Iavor Diatchki wrote: > Hello, > I am not sure of the details (they are in this paper that I > mentioned), but the difference between these two is that in the one > case the polymorphic variable appears in a negtaive position (i.e. as > an argument), while in the other it is in a positive position. Thanks, this is the issue. Swaroop.