Haskell是否执行monad法律

Haskell是否执行monad法律