Anoq of the Sun wrote: > if the compiler could just "ignore" all polymorphic > and higher order function parameters Yes... just convert curried parameters to tuples and replace 'a and -> types with unit :) Cheers -- http://www.HardcoreProcessing.com