Data.TypeEq
class
TypeEq
type1 type2 result
typeEq