G'day. Quoting Stefan O'Rear <stefanor at cox.net>: > 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