Errata in "Context-Parametric Polykinded Types"

 - On Page 5, in T4's constraint list, the second constraint expression should
   be "\lambda x. Eq (a x)", not "\lambda x. (Eq a x)".