Re: Polymorphic lambda-calculus