RE: existentials + contexts + universals

[Mark P Jones]

| Try the following:
| 
|    data Showable = forall a. Show a => MkShowable (forall b. b -> a)
|    showit (MkShowable f) = show (f 1)
|
| and you get
|    ERROR "foo.hs" (line 3): Use of MkShowable requires at least 2 
| arguments

Thanks for the bug report.  Fortunately this is very easy to correct;
the fix will be included in the next release.

All the best,
Mark