#2309: containers: specialize functions that fail in a Monad
Twan van Laarhoven
twanvl at gmail.com
Sat May 24 20:26:36 EDT 2008
Ross Paterson wrote:
> The proposal is to change these signatures back, specializing them
> to Maybe.
To retain most of the convenience I would propose we use MonadPlus instead,
which is arguably where fail should have been put in the first place (*).
(*) Actually in a superclass MonadZero, but let's work with what we have now.
More information about the Libraries