Type.Family.Bool
type family BoolC b :: Constraint
type family a || b :: Bool
type family a && b :: Bool
type family Not a :: Bool
type a ==> b
type a <==> b
type a ^^ b
type family a == b :: Bool