Proved Exceptional is a monad.