Hello Lauri, Thursday, March 2, 2006, 3:25:31 PM, you wrote: LA> Now, I wonder whether we really really really need to track implicit LA> parameters in the type system. After all, exceptions, too, introduce a there is also another way - allow "partial function signatures" -- Best regards, Bulat mailto:Bulat.Ziganshin at gmail.com