Re: type errors

[Philip Wadler]

  You're right.  The restriction is excessive.  Thanks for pointing
  this out.  Probably we should only require that at least one
  of the class variables is constrained.

Why even require this?  (All x) => x -> x uses the class `All'
which restricts its argument not one whit.  -- P