temporarily adding ENUMERATE_SEE_DATA here, not quite working yet, is nearly working, example 13 gives the wrong answer to NrRClasses and causes a seg fault when created using Semigroup instead of Monoid