add to Data category
use type-level-numbers package instead of type-level-natural-number package