map length (tiers :: [[ Int4 ]])  =  [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]

length (list :: [ Int4 ])  =  Infinity

allUnique (list :: [ Int4 ])  =  True

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

tiers :: [Int4]  =
  [ [0]
  , [1]
  , [-1]
  , [2]
  , [-2]
  , [3]
  , [-3]
  , [4]
  , [-4]
  , [5]
  , [-5]
  , [6]
  , [-6]
  , [7]
  , [-7]
  , [-8]
  ]
