map length (tiers :: [[ ()->Nat ]])  =  [1,1,1,1,1,1,...]

length (list :: [ ()->Nat ])  =  Infinity

allUnique (list :: [ ()->Nat ])  =  True

ratioRepetitions (list :: [ ()->Nat ])  =  0 % 1

tiers :: [()->Nat]  =
  [ [\_ -> 0]
  , [\_ -> 1]
  , [\_ -> 2]
  , [\_ -> 3]
  , [\_ -> 4]
  , [\_ -> 5]
  , ...
  ]
