map length (tiers :: [[ Rational ]])  =  [1,1,1,2,2,2,2,4,4,2,2,6,...]

length (list :: [ Rational ])  =  Infinity

allUnique (list :: [ Rational ])  =  True

ratioRepetitions (list :: [ Rational ])  =  0 % 1

tiers :: [Rational]  =
  [ [0 % 1]
  , [1 % 1]
  , [(-1) % 1]
  , [ 1 % 2
    , 2 % 1
    ]
  , [ (-1) % 2
    , (-2) % 1
    ]
  , [ 1 % 3
    , 3 % 1
    ]
  , [ (-1) % 3
    , (-3) % 1
    ]
  , [ 1 % 4
    , 2 % 3
    , 3 % 2
    , 4 % 1
    ]
  , [ (-1) % 4
    , (-2) % 3
    , (-3) % 2
    , (-4) % 1
    ]
  , [ 1 % 5
    , 5 % 1
    ]
  , [ (-1) % 5
    , (-5) % 1
    ]
  , [ 1 % 6
    , 2 % 5
    , 3 % 4
    , 4 % 3
    , 5 % 2
    , 6 % 1
    ]
  , ...
  ]