Advancing with monad transformers