If return a = return b then does a=b? August 19, 2023 by Tarik No. Consider the trivial monad: data Trivial a = Cow instance Monad Trivial where _ >>= _ = Cow return _ = Cow