Data.TypeLevel.Bool
class Bool b
toBool
data False
false
data True
true
reifyBool
class Not b1 b2
not
class And b1 b2 b3
(&&)
class Or b1 b2 b3
(||)
class Xor b1 b2 b3
xor
class Imp b1 b2 b3
imp
class Eq b1 b2 b3
eq