type family BoolC (b :: Bool) = (c :: Constraint) | c -> b where ...

type a ==> b

type a <==> b

type a ^^ b