pprintErr' i (NonFunctionType f ty) =
  pprintTerm i (delab i f) <+>
  text "does not have a function type" <+>
  parens (pprintTerm i (delab i ty))
pprintErr' i (NonFunctionType f ty) =
  pprintTerm i (delab i f) <+>
  text "does not have a function type" <+>
  parens (pprintTerm i (delab i ty))
pprintErr' i (NonFunctionType f ty) =
  pprintTerm i (delab i f) <+>
  text "does not have a function type" <+>
  parens (pprintTerm i (delab i ty))