Monad for Const？

Question

为什么没有monad实例Control.Applicative.Const？以下定义是正确的,还是违反了monad法则？

instance Monoid a => Monad (Const a) where
  return _ = Const mempty
  (Const x) >>= _ = Const x

你能想到任何有用的应用吗？

Answer 1

它违反了左侧身份法:return x >>= f必须与之相同f x,但要考虑f x = Const (x + 1).