I'm having a hard time understanding monad transformers, partly because most examples and explanat