G'day. Quoting Stefan O'Rear <[EMAIL PROTECTED]>:
All the MonadPlus I can think of (IO,Maybe,[]) satisfy it. Were you thinking of right distribution?
No monad transformer can satisfy it, because lift m >> mzero is not mzero. Cheers, Andrew Bromage _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe