
14 Feb
2005
14 Feb
'05
6:18 a.m.
Josef Svenningsson
You claimed that monad transformers break the mzero-is-right-identity-for-bind law because they can be applied to IO. I say, it's not the monad transformers fault. They cannot possibly be expected to repair the law if they are given a faulty monad.
I agree. They as well could be said to break the core monad laws. It's not their fault. -- __("< Marcin Kowalczyk \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/