Modules
Control.Conditional
Data.Algebra.Boolean