> > > > * 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