Types.Data.Bool

data True

trueT

data False

falseT

type family Not x

notT

type family x :&&: y

andT

type family x :||: y

orT

class IfT x y z