KnowledgeHub
Questions
Tags
Users
Search
Alex Rivera
|
Logout
Edit Question
Title
Body
Why is there no monad instance for Control.Applicative.Const ? Is following definition correct, or violates it the monad laws? instance Monoid a => Monad (Const a) where return _ = Const mempty (Const x) >>= _ = Const x And can you think of any useful application?
Tags (comma-separated)
Save Edits
Cancel