type (~) :: forall k. k -> k -> Constraint
class (a ~ b) => (~) a b
  	-- Defined in ‘GHC.Types’
infix 4 ~
(~) :: k -> k -> Constraint
type (~) :: forall k. k -> k -> Constraint
class (a GHC.Prim.~# b) => (~) a b
  	-- Defined in ‘GHC.Types’
infix 4 ~