reduce code that uses type-level-numbers directly