:: Monoid_a _ => _ a package:mtl

Retrieve the accumulated result so far.
Retrieves the monad environment.
Return the state from the internals of the monad.