There’s actually another category: type reification WITH type erasure! https://github.com/mrakgr/The-Spiral-Language/blob/master/readme.md https://github.com/mr

There’s actually another category: type reification WITH type erasure! https://github.com/mrakgr/The-Spiral-Language/blob/master/readme.md https://github.com/mrakgr/The-Spiral-Language/blob/master/re... (search for default_of) Well, kinda cheating since the language’s about inlining these away. But technically true...