I do think 2 is a real problem, but it seems Haskell people couldn't agree on the solution. Simon Peyton Jones (Haskell 98 standard editor) proposed a change bu

I do think 2 is a real problem, but it seems Haskell people couldn't agree on the solution. Simon Peyton Jones (Haskell 98 standard editor) proposed a change but many people didn't like it. http://ghc.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution http://ghc.haskell.org/trac/haskell-prime/wiki/TypeDirectedN...