It wasn't that the program was rejected that I was complaining about (as you say, just the usual need to inverse-eta) it was just the error message. I expected a complaint about not being able to generalize the type.