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