ppTermF' :: Applicative f
         => (LocalVarDoc -> Prec -> e -> f Doc)
         -> LocalVarDoc
         -> Prec
         -> TermF e
         -> f Doc
ppTermF' pp lcls p (FTermF tf) = (group . nest 2) <$> (ppFlatTermF (pp lcls) p tf)
ppTermF' :: Applicative f
         => (LocalVarDoc -> Prec -> e -> f Doc)
         -> LocalVarDoc
         -> Prec
         -> TermF e
         -> f Doc
ppTermF' pp lcls p (FTermF tf) = (group . nest 2) <$> (ppFlatTermF (pp lcls) p tf)
ppTermF' pp lcls p (FTermF tf) = (group . nest 2) <$> (ppFlatTermF (pp lcls) p tf)