-- | formula equality modulo alpha conversion
alphaEquiv :: Eq f => (f -> f) -> FORMULA f -> FORMULA f -> Bool
alphaEquiv mf f1 f2 =
    convertFormula 1 mf f1 == convertFormula 1 mf f2
alphaEquiv :: Eq f => (f -> f) -> FORMULA f -> FORMULA f -> Bool
alphaEquiv mf f1 f2 =
    convertFormula 1 mf f1 == convertFormula 1 mf f2
alphaEquiv mf f1 f2 =
    convertFormula 1 mf f1 == convertFormula 1 mf f2