Data.HList.TypeEqGeneric1

class TupleType t b