Thanks for replying!

If I understand correctly, GATs are about being able to change compiler assumptions about data types in user code? Generics acting on the compiler?

How is that helpful? Is it that you're trying to skip all the language boilerplate around creating objects? Are there any risks/footguns to that approach?

Generic type-driven code makes my head hurt, let me know if I'm somewhat close