Data.Algebra.Boolean.FreeBoolean
data
FreeBoolean
a