# Description

A library of boolean operations, lifted in a typeclass for boolean values.
Also includes:

* Lifted monadic variants of those operations.
* Hoare's conditional choice operator.
* A typeclass for boolean algebras.

See annotated documentation in code for information about individual entities.