Introduce an 'ExceptionMonad' class.