Data.Logic.Types.Harrison.Formulas.Propositional

data Formula a