Type.Bool

type family Not a

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

class KnownBool b