Tue Oct 30 05:00:07 PDT 2007 Malcolm.Wallace@cs.york.ac.uk * Comment out incorrect kind inference. In fact, there is no kind inference at all - just an assignment of kinds to type variables, which turns out to be wrong of course. M ./NT.hs -1 +2