fact: Definition StateT_join `{Monad m} {s a : Type} (x : StateT s m (StateT s m a)) : StateT s m a := join \o fmap (curry apply) \o x.
imports: Hask.Prelude Hask.Ltac Hask.Control.Monad Hask.Control.Monad.State Hask.Control.Monad.Trans.Class