Here's the Trac page of the proposal: https://ghc.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution https://ghc.haskell.org/trac/haskell-prime/wiki

Here's the Trac page of the proposal: https://ghc.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution https://ghc.haskell.org/trac/haskell-prime/wiki/TypeDirected... Also a bit disappointed that it didn't make the cut - it seemed like a good pragmatic solution!