Type Alias LevelOf<N>

LevelOf: [N] extends [SafeInt]
    ? "safeint"
    : [N] extends [Int]
        ? "int"
        : [N] extends [FiniteNumber] ? "finite" : "number"