In both, '= ' is non-transitive and '= =' is non-reflexive. It might be expected that conditionals in Haskell are beyond human comprehension. These tables tell a different story. Read more about No Problem, Boole. Conduits are not Monads. Wed, 2012-04-18 07:20 bss. Pipes from the conduit package on hackage have a Monad instance that violates the monad laws. Read more about Conduits are not Monads. Thu, 2012-01-19 13:30 bss. More progress fighting SPAM both on MediaWiki and via email. Back to M:tG FNM.