If this idea is also being considered for Haskell I suggest to examine NICE pages to see how it works in practice. NICE = Non-profit International Consortium for Eiffel. http://www.eiffel-nice.org Jan