Re: [Haskell-cafe] Proposal: TypeDirectedNameResolution