fact: Definition modifyT `{Applicative m} {s : Type} (f : s -> s) : StateT s m unit := fun i => pure (tt, f i).
imports: Hask.Prelude Hask.Ltac Hask.Control.Monad Hask.Control.Monad.State Hask.Control.Monad.Trans.Class