Concrete data type for handling extensible exceptions as failures.