[cvs-nhc98] Note that higher-kind newtypes are fixed.