Si le retour a = retour b alors a=b?

Question

Pouvez-vous prouver que si return a = return b alors a=b? Lorsque j'utilise =,, je veux dire dans les lois et les épreuves de sens, pas de la Eq classe de sens.

Chaque monade que je sais que semble répondre à cela, et je ne peux pas penser à un valide monade qui ne serait pas (Const a est un foncteur et applicative, mais pas une monade.)

Answer 1

Pas de. Envisager le trivial monade:

data Trivial a = Cow

instance Monad Trivial where
  _ >>= _ = Cow
  return _ = Cow