work-in-progress for compiling generics in their owner module