19 Sep
2006
19 Sep
'06
10:36 p.m.
Michael Shulman wrote:
This is because (ErrorT e []) inherits its instance of MonadPlus from Error, not from []. (Is there a reason for this, or is it just assumed that this is the more frequently desired behavior?)
It's a flaw in MonadPlus, since it allows two different behaviours and really should be two different classes. See http://haskell.org/haskellwiki/MonadPlus. -- Ashley Yakeley