On Thu, 2 Oct 2003 13:16:13 +0200 [EMAIL PROTECTED] wrote: > The Monad class is just called Monad because it is intended > to cover a monad. But it doesn't ensure the laws. That is your > sole responsibility.
Yeah, I know. But it's difficult to ensure I'm satisfying the laws when I'm not entirely sure what do they ask from me... > You can define it to your liking as long as it is commutative. Ah, that's what I was expecting. So, in both my examples, defining: instance Eq MyMonad where MM _ x == MM _ y = x == y would suffice and the first law would be satisfied. Thanks, Juanma _______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe