class SEq kparam

type family a == b :: Bool

type a :== b

type a :/= b