haskell - return a = return b の場合、a=b ですか?

Question

return a = return bもしそうなら、あなたはそれを証明できますa=bか？を使うときは、クラスの意味=ではなく、法則と証明の意味で意味します。Eq

私が知っているすべてのモナドはこれを満たすようであり、そうでない有効なモナドは考えられません (Const aはファンクターであり適用可能ですが、モナドではありません。)