Data.Type.Equality
data a :~: b
class (k0 ~~ k1) a b
data a :~~: b
sym
trans
castWith
gcastWith
apply
inner
outer
class TestEquality f
type family (a :: k) == (b :: k) :: Bool