什么是分類單子強制 Haskell 單子不強制的身份？

Question

寫道：

如果您沒有猜到，這是關於 monad，因為它們出現在 Haskell 等純函數式編程語言中。 它們與范疇論的單子密切相關，但並不完全相同，因為 Haskell 不強制執行由分類單子滿足的恆等式。

這些是上面文字所說的身份嗎？

return a >>= k  =  k a
m >>= return  =  m
m >>= (\x -> k x >>= h)  =  (m >>= k) >>= h

Answer 1

與鏈接問題的公認答案相比，請考慮這個例子。

newtype List a = List [a] deriving (Functor, Applicative)

instance Monad List where
    return _ = List []
    m >>= f = List []

編譯器會接受這個定義，但它不遵守單子定律。 具體來說，嘗試確認

m >>= return == m

對於[]和List ：

-- Correct
Prelude> [1,2,3] >>= return
[1,2,3]

-- Not correct, should be List [1,2,3]
Prelude> List [1,2,3] >>= return
List []