Testing the option monad.