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