Report question

Question: simplifying maybe Monad