mtrans Very simple proof-of-concept for using monad transformers. Wrapping a State s a inside an ExceptT monad transformer.