one issue arising in practice is that we would like to havefromBool :: 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
Boolean.hs
Description: Binary data
_______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime