map length (tiers :: [[ ()->Nat ]]) = [2,2,2,2,2,2,...] length (list :: [ ()->Nat ]) = Infinity allUnique (list :: [ ()->Nat ]) = False ratioRepetitions (list :: [ ()->Nat ]) = 1 % 2 tiers :: [()->Nat] = [ [ \x -> case x of () -> 0 , \x -> case x of () -> 0 ] , [ \x -> case x of () -> 1 , \x -> case x of () -> 1 ] , [ \x -> case x of () -> 2 , \x -> case x of () -> 2 ] , [ \x -> case x of () -> 3 , \x -> case x of () -> 3 ] , [ \x -> case x of () -> 4 , \x -> case x of () -> 4 ] , [ \x -> case x of () -> 5 , \x -> case x of () -> 5 ] , ... ]