map length (tiers :: [[ Bool->() ]]) = [2] length (list :: [ Bool->() ]) = 2 allUnique (list :: [ Bool->() ]) = False ratioRepetitions (list :: [ Bool->() ]) = 1 % 2 tiers :: [Bool->()] = [ [ \x -> case x of False -> () True -> () , \x -> case x of False -> () True -> () ] ]