fact: Definition applyStateT `(l : Lens' s a) (f : a -> a) `{Monad m} : StateT s m unit := modifyT (l %~ f).
imports: Hask.Prelude Hask.Control.Monad Hask.Data.Functor.Contravariant Hask.Data.Functor.Identity Hask.Control.Monad.Trans.State