I have written a shard for declaring generics that can contain themselves, without using recursively-defined aliases which are broken in the compiler and fixing them isn’t on the roadmap.
This turns out to be complicated enough that maybe fixing the compiler is better. However, I have the first pass at the shard written, and I could use some documentation review and contribution, specifically of the section below https://github.com/BrucePerens/recursive_generic#writing-delegation-for-the-wrapped-generic. It’s really complicated. Also, if you can think of a better way to do the code than I presently am, that would be appreciated too.