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