concrete functor and monad transformers
#87No modifyM for StateT?
Hi, it seems that there's a modify :: (s -> s) -> StateT m s () function, but there's no modifyM :: (s -> m s) -> StateT s m () function. Although it's a relatively small synonym it would be useful for some cases, and be an inverse for execStateT
