haskell - 如果返回a = 返回b 那么a=b 吗？

Question

你能证明如果return a = return b那么a=b吗？当我使用 = 时，我的意思是在法律和证明的意义上，而不是 Eq 类意义上。

我知道的每个 monad 似乎都满足这一点，而且我想不出一个有效的 monad 不会满足这一点(Const a 是一个仿函数和应用程序，但不是一个 monad。)

Answer 1

没有。考虑一下平凡的单子(monad):

data Trivial a = Cow

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