type-unary alternatives and similar packages
Based on the "type" category.
Alternatively, view type-unary alternatives based on common mentions on social networks and blogs.
Do you think we are missing an alternative of type-unary or a related project?
Simple, type-level natural numbers.
There are probably many of these packages. Perhaps consolidate. This one is extracted from Shady.