map and fmap
ashley at semantic.org
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.
More information about the Haskell-prime