pprintErr' i (TooManyArguments f) = text "Too many arguments for" <+> annName f
pprintErr' i (TooManyArguments f) = text "Too many arguments for" <+> annName f
pprintErr' i (TooManyArguments f) = text "Too many arguments for" <+> annName f