There’s actually another category: type reification WITH type erasure! 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...