type family And a b

type family Or a b

type family Xor a b

type family If cond a b :: k

type family If' cond a b :: Constraint

type family a :== b