fact: Definition run_stateT {s m a} (x : stateT s m a) : s -> m (s * a)%type := x.
imports: Coq(RelationClasses) ExtLib(Structures.Functor Structures.Monad Data.Monads.StateMonad Data.Monads.ReaderMonad Data.Monads.OptionMonad Data.Monads.EitherMonad)