Warum gibt es keine Monad-Instanz für Control.Applicative.Const ? Ist die folgende Definition korrekt oder verletzt sie die Monadengesetze?
Control.Applicative.Const
Und können Sie sich irgendeine nützliche Anwendung vorstellen?
Es verstößt gegen das Recht der linken Identität : return x >>= f muss mit f x identisch sein, aber mit f x = Const (x + 1) .
return x >>= f
f x
f x = Const (x + 1)
Tags und Links haskell monads