[Haskell-cafe] Status of TypeDirectedNameResolution proposal?