Code review for Monad.tt