printAPPROXIMATION :: APPROXIMATION -> Doc
printAPPROXIMATION (ForgetOrKeep b syms ml _) =
   fsep $ keyword (if b then forgetS else keepS)
   : ppWithCommas syms : maybe [] (\ i -> [keyword withS, pretty i]) ml
printAPPROXIMATION :: APPROXIMATION -> Doc
printAPPROXIMATION (ForgetOrKeep b syms ml _) =
   fsep $ keyword (if b then forgetS else keepS)
   : ppWithCommas syms : maybe [] (\ i -> [keyword withS, pretty i]) ml
printAPPROXIMATION (ForgetOrKeep b syms ml _) =
   fsep $ keyword (if b then forgetS else keepS)
   : ppWithCommas syms : maybe [] (\ i -> [keyword withS, pretty i]) ml