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