Class StateT<S,​M extends MonadRec<?,​M>,​A>