Finish trivial monad exercises