Improve a little-used error message.  Given
	f :: a -> a
	f x y = e
the error says 

	The equations for f have two arguments
	but its type `a -> a' has only one

(Before, it said "its type `a' has only one" which is bogus.