Generalize Failure to Exposed typeclass.