Proposition: accessory functions which are local to type.

[Sebastian Fischer]

Hello Evgenij,

the TDNR proposal seems related to yours:

     http://hackage.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution

It would be useful to highlight and motivate the differences to help  
others judge your proposal.

Cheers,
Sebastian


-- 
Underestimating the novelty of the future is a time-honored tradition.
(D.G.)