Data.Category.Boolean

data Fls

data Tru

data Boolean a b

trueProductMonoid

falseCoproductComonoid

trueProductComonoid

falseCoproductMonoid

trueCoproductMonoid

falseProductComonoid