pprintErr' i (NotInjective p x y) =
  text "Can't verify injectivity of" <+> pprintTerm i (delab i p) <+>
  text " when unifying" <+> pprintTerm i (delab i x) <+> text "and" <+>
  pprintTerm i (delab i y)
pprintErr' i (NotInjective p x y) =
  text "Can't verify injectivity of" <+> pprintTerm i (delab i p) <+>
  text " when unifying" <+> pprintTerm i (delab i x) <+> text "and" <+>
  pprintTerm i (delab i y)
pprintErr' i (NotInjective p x y) =
  text "Can't verify injectivity of" <+> pprintTerm i (delab i p) <+>
  text " when unifying" <+> pprintTerm i (delab i x) <+> text "and" <+>
  pprintTerm i (delab i y)