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

length (list :: [ (Nat,Nat)->Nat ])  =  0

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

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

tiers :: [(Nat,Nat)->Nat]  =
  [[]]