Add initial support for exception monad (also called Try monad).