[Haskell-cafe] Proposal: TypeDirectedNameResolution