Improved error message
We no longer quantify over an entirely-unused existential type variable
Add stderr output