TypeLevel.Boolean
data True
data False
type family Not a :: *
notT
type family And a b :: *
andT
type family Or a b :: *
orT
type family Xor a b :: *
xorT