type family BoolC b :: Constraint

type a ==> b

type a <==> b

type a ^^ b