conform with the addition of SomeNat type to type-level-numbers-0.1.1.0