Data.Promotion.Prelude.Eq

class PEq kproxy

data (:==$) l

data l :==$$ l

type t :==$$$ t

data (:/=$) l

data l :/=$$ l

type t :/=$$$ t