fact: Definition liftStateT `{Monad m} `(x : State s a) : StateT s m a := st <- getT ; let (a, st') := x st in putT st' ;; pure a.
imports: Hask.Prelude Hask.Ltac Hask.Control.Monad Hask.Control.Monad.State Hask.Control.Monad.Trans.Class