Report question

Question: Restricting a monad to a type class