j
k
j a
j l
G'day. Quoting Stefan O'Rear :
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
Back to the thread
Back to the list