Data.Type.Heterogeneous

data HetEq a b

homoHetEq

class TestHetEquality w