Data.GADT.Compare
data a := b
class GEq f
defaultEq
defaultNeq
data GOrdering a b
weakenOrdering
class GCompare f