|Monoid instances for working with a Monad
|An Action uses glues together Monad actions with (>>)
in the manner of mapM_ from Data.Foldable. Any values returned by
reduced actions are discarded.
|Efficiently avoid needlessly rebinding when using snoc on an action that already returns ()
A rewrite rule automatically applies this when possible
|if m is a Module over r and f is a Monad then f Mon m is a Module as well
|Produced by Haddock version 2.4.2|