fact: Definition liftState {s a f} `{Functor f} (fa : f a) : Monads.stateT s f a := fun s => pair s <$> fa.
imports: Coq(RelationClasses) ExtLib(Structures.Functor Structures.Monad Data.Monads.StateMonad Data.Monads.ReaderMonad Data.Monads.OptionMonad Data.Monads.EitherMonad)