KnowledgeHub
Questions
Tags
Users
Search
Alex Rivera
|
Logout
Edit Question
Title
Body
The documentation for Control.Monad.List.ListT states that it "does not yield a monad unless the argument monad is commutative." How do I find out whether a monad is commutative? Is there a CommutativeMonad typeclass? Should there be? In particular, is Control.Monad.RWS.Lazy.RWS a commutative monad?
Tags (comma-separated)
Save Edits
Cancel