Removing constants from formulas, Haskell

Question

I\'ve encountered this problem with function removeConsts :: PropFormula -> PropFormula in a task I\'ve found online. The problem function solves is removing