Implement Fail in terms of Exc