Data.Promotion.Prelude.Eq
class PEq kproxy
data (:==$) l
data l :==$$ l
type t :==$$$ t
data (:/=$) l
data l :/=$$ l
type t :/=$$$ t