“Monad transformers are not too intuitive”