[Haskell-cafe] Re: Type Directed Name Resolution