ppTerm :: TermPrinter Term
ppTerm lcls p0 (Term t) = ppTermF ppTerm lcls p0 t
ppTerm :: TermPrinter Term
ppTerm lcls p0 (Term t) = ppTermF ppTerm lcls p0 t
ppTerm lcls p0 (Term t) = ppTermF ppTerm lcls p0 t