pprintErr' i (CantIntroduce ty) =
  text "Can't use lambda here: type is" <+> pprintTerm i (delab i ty)
pprintErr' i (CantIntroduce ty) =
  text "Can't use lambda here: type is" <+> pprintTerm i (delab i ty)
pprintErr' i (CantIntroduce ty) =
  text "Can't use lambda here: type is" <+> pprintTerm i (delab i ty)