Nếu trả về a = return b thì a = b?

Question

Bạn có thể chứng minh rằng nếu return a = return b thì a=b? Khi tôi sử dụng =, ý tôi là trong luật và chứng minh, không phải là ý nghĩa của lớp học Eq.

Mỗi đơn nguyên mà tôi biết dường như đáp ứng điều này, và tôi không thể nghĩ ra một đơn nguyên có giá trị mà có thể không (Const a là một functor và applicative, nhưng không phải là một đơn nguyên.)

Answer 1

số Xem xét đơn vị tầm thường:

data Trivial a = Cow 

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