Report question

Question: Monad transformers with identity monad