Re: [Haskell-cafe] Re: Proposal: TypeDirectedNameResolution

There are other possible language extension that may make qualification easier, Pascal's  with  statement comes to mind.

 http://freepascal.decenturl.com/with-statement-pascal

In Haskell, this would work something like this:

 histogram xs =      with Data.Map          foldl' f empty xs          where              f m x = case lookup m x where                         Just k  -> insertWith x (+1) m

I like both that and TDNR. It would be cool that at least one of them gets accepted in Haskell prime. David.