On 09/13/2010 12:45 PM, Gleb Alexeyev wrote: > is, pardon my pun, not ok, because f is let-bound and, therefore, > monomorphic This line doesn't make sense, I was too hasty to hit the 'Send' button, I meant to write 'lambda-bound', of course, apologies for that.