Arrange that type signatures work right.  Consider:

	   module A
		import M( f )
		f :: Int -> Int
		f x = x

Here, the 'f' in the signature isn't ambiguous; it
refers to the locally defined f.  (This isn't clear in
the Haskell 98 report, but it will be.)