On Wed, 25 Apr 2001, Robert Ennals wrote: > Thus if we want to "inherit" our implicit paramater, we would have: > > f ?y x = (x :: Int) + ?y I like the current solution better. They are called "implicit parameters" because they are, well, implicit :-) -- Marcin 'Qrczak' Kowalczyk