Failure now receives an A that is an Exception