fact: Definition stateT (s : Type) (m : Type -> Type) (a : Type) : Type := s -> m (prod s a).
imports: Coq(RelationClasses) ExtLib(Structures.Functor Structures.Monad Data.Monads.StateMonad Data.Monads.ReaderMonad Data.Monads.OptionMonad Data.Monads.EitherMonad)