Added Exceptional monad.