> > > > * 6.2: All the types in CTypes must be newtypes that are exported > > > > abstractly. > > > > How about exporting them non-abstractly for nhc98 only, and adding a > > comment to explain why the workaround is necessary? > > That's what I prefer, too. OK, that's what I've done. The spec can stand as it is. Regards, Malcolm