A general boolean algebra class and some instances for haskell.
The main module is Boolean.Algebra.