Toy example — How can GHC optimize monad transformers?