Bool package:first-class-families

Booleans. Note that the operations from this module conflict with Data.Type.Bool.
N.B.: The order of the two branches is the opposite of "if": UnBool ifFalse ifTrue bool. This mirrors the default order of constructors:
data Bool = False | True
----------- False < True