Data.Type.Heterogeneous
data
HetEq
a b
homoHetEq
class
TestHetEquality
w