Re: mtl vs monads