This minor change improves the usability of `TypeClass` a lot. We actually only need two functions to convert back and forth, so why fix that to an instance of `GenericAux`? Users might want to do their own stuff with it.