This creates the boolean algebra of sets from any base boolean algebra. note that the sets created are true sets in the mathematical sense, not the usual programatic aproximation.
A generalized set can be thought of as a map from keys to boolean values. perhaps the 'map with default' should be seperated out?
|Produced by Haddock version 0.6|