Re: strictly matching monadic let and overloaded Bool (was: Are patternguards obsolete?)

one issue arising in practice is that we would like to have

fromBool :: MonadPlus m => Bool -> m a

but the current definition of guard would fix the type to

fromBool :: MonadPlus m => Bool -> m ()

which would require type annotations for Booleans used as guards. see the attached example for an easy workaround.

what attachment, you ask? sorry, lack of sleep - now attached to this message. claus