Se return a = return b allora a = b?

Question

Potete provare che se return a = return b poi a=b? Quando uso =, intendo nel senso delle leggi e delle prove, non nel senso della classe Eq.

Ogni monade che conosco sembra soddisfare questo, e non posso pensare a una monade valida che non sarebbe (Const a è un funtore e applicativa, ma non una monade.)

Answer 1

No. Si consideri il monade banale:

data Trivial a = Cow 

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