Re: rank 2-polymorphism and type checking