Extend the prettyShow function to remove unnecessary parentheses. Rewrite getRandom to use do notation. Using QuickCheck, write a test for an action in the MonadHandle monad, in order to see if it tries to write to a file handle that is not open. Try it out on safeHello.