1 2 3 4
class (a ~ b) => (~) (a :: k) (b :: k) -- Defined in ‘GHC.Types’ (~) :: k -> k -> Constraint class (a GHC.Prim.~# b) => (~) (a :: k) (b :: k) -- Defined in ‘GHC.Types’