<p>if you polarize a polymorphic lambda calculus, are type variables positive or negative?</p>