Context-Parametric Polykinded Types
                              Errata, 20 Sep 06


 Page 5: In T4's constraint list, the second constraint expression should
         be \lambda x. Eq (a x), not \lambda x. (Eq a x).