Data.HList.TypeEqGeneric2
typeEq
class
TypeEq
x y b
class
TypeEq'
q x y b
class
TypeEq''
q x y b