type family If cond tru fls where ...

type family a && b where ...

type family a || b where ...

type family Not a where ...