Add an Inverse typeclass.