:: Monoid_a _ => _ a package:brick

Return the state from the internals of the monad.