Re: Proposition: accessory functions which are local to type.

Hello Evgenij, the TDNR proposal seems related to yours: http://hackage.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolutio... 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.)