a = return bを返したら、a = bですか？

Question

return a = return bの場合はa=b？ =を使用すると、私は法律と証明の意味ではなく、Eqのクラスセンスを意味します。

私が知っているすべてのモナドはこれを満たすようだ、と私は（Const aはファンクタと応用的ではなく、モナドである。）

Answer 1

号は考えていない有効なモナドを考えることはできません簡単なモナド：

data Trivial a = Cow 

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