map and fmap

Ashley Yakeley ashley at
Wed Aug 30 15:08:06 EDT 2006

Cale Gibbard wrote:
> While we're at it, let's split MonadZero and MonadPlus --
> the decision to merge them was not well thought-out, and a lot of
> expressive power in type signatures is lost there.

This should be split into three classes, "MonadZero", "MonadPlus" and 
"MonadOr" owing to variations in instances of the current MonadPlus.


Ashley Yakeley
Seattle WA

More information about the Haskell-prime mailing list