| - Does other Haskell implementations (ghc, nhc, hbc, ...)
|   would provide this extension in next releases? (This way,
|   even been an extension, my system would be portable) 

Jeff Lewis is well advanced with adding functional dependencies
into GHC; I believe that he plans then to add dynamic scopes, which
are elegantly expressed in terms of functional dependencies.

Simon

Reply via email to