TypeLevel.Boolean

data True

data False

Boolean operations

type family Not a :: *

notT

type family And a b :: *

andT

type family Or a b :: *

orT

type family Xor a b :: *

xorT