Data.Logic.Types.Harrison.Formulas.FirstOrder

data Formula a