Type.Data.Bool

data True

true

data False

false

type family Not x

not

type family x :&&: y

and

type family x :||: y

or

type family If x y z

if_