[Haskell] Per-type function namespaces

[Ketil Malde]

Peter Strand <peter at zarquon.se> writes:

> That is, a function is looked up in the namespaces of its arguments as
> well as in the normal places. So "add fm k v" where fm :: FiniteMap,
> x :: Int, v :: String would look for "add" in the modules where
> FiniteMap, Int and String was defined.

I suppose partial application would complicate things a bit here --
you don't necessarily know what the arguments are.

-kzm
-- 
If I haven't seen further, it is by standing in the footprints of giants