Type-level well-kinded natural numbers.
Why do you think that https://github.com/relrod/ms is a good alternative to type-natural
Type-level well-kinded natural numbers.
Why do you think that https://github.com/relrod/ms is a good alternative to type-natural