map length (tiers :: [[ [Bool]->[Bool] ]])  =  [1,2,8,26,88,...]

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

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

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

tiers :: [[Bool]->[Bool]]  =
  [ [\_ -> []]
  , [ \_ -> [False]
    , \_ -> [True]
    ]
  , [ \x -> case x of
            [] -> [False]
            _ -> []
    , \x -> case x of
            [] -> [True]
            _ -> []
    , \x -> case x of
            [] -> []
            _ -> [False]
    , \x -> case x of
            [] -> []
            _ -> [True]
    , \_ -> [False,False]
    , \_ -> [False,True]
    , \_ -> [True,False]
    , \_ -> [True,True]
    ]
  , [ \x -> case x of
            [] -> [False,False]
            _ -> []
    , \x -> case x of
            [] -> [False,True]
            _ -> []
    , \x -> case x of
            [] -> [True,False]
            _ -> []
    , \x -> case x of
            [] -> [True,True]
            _ -> []
    , \x -> case x of
            [False] -> [False]
            _ -> []
    , \x -> case x of
            [False] -> [True]
            _ -> []
    , \x -> case x of
            [True] -> [False]
            _ -> []
    , \x -> case x of
            [True] -> [True]
            _ -> []
    , \x -> case x of
            [] -> [True]
            _ -> [False]
    , \x -> case x of
            [False] -> []
            _ -> [False]
    , \x -> case x of
            [True] -> []
            _ -> [False]
    , \x -> case x of
            [] -> [False]
            _ -> [True]
    , \x -> case x of
            [False] -> []
            _ -> [True]
    , \x -> case x of
            [True] -> []
            _ -> [True]
    , \x -> case x of
            [] -> []
            _ -> [False,False]
    , \x -> case x of
            [] -> []
            _ -> [False,True]
    , \x -> case x of
            [] -> []
            _ -> [True,False]
    , \x -> case x of
            [] -> []
            _ -> [True,True]
    , \_ -> [False,False,False]
    , \_ -> [False,False,True]
    , \_ -> [False,True,False]
    , \_ -> [False,True,True]
    , \_ -> [True,False,False]
    , \_ -> [True,False,True]
    , \_ -> [True,True,False]
    , \_ -> [True,True,True]
    ]
  , [ \x -> case x of
            [] -> [False,False,False]
            _ -> []
    , \x -> case x of
            [] -> [False,False,True]
            _ -> []
    , \x -> case x of
            [] -> [False,True,False]
            _ -> []
    , \x -> case x of
            [] -> [False,True,True]
            _ -> []
    , \x -> case x of
            [] -> [True,False,False]
            _ -> []
    , \x -> case x of
            [] -> [True,False,True]
            _ -> []
    , \x -> case x of
            [] -> [True,True,False]
            _ -> []
    , \x -> case x of
            [] -> [True,True,True]
            _ -> []
    , \x -> case x of
            [False] -> [False,False]
            _ -> []
    , \x -> case x of
            [False] -> [False,True]
            _ -> []
    , \x -> case x of
            [False] -> [True,False]
            _ -> []
    , \x -> case x of
            [False] -> [True,True]
            _ -> []
    , \x -> case x of
            [True] -> [False,False]
            _ -> []
    , \x -> case x of
            [True] -> [False,True]
            _ -> []
    , \x -> case x of
            [True] -> [True,False]
            _ -> []
    , \x -> case x of
            [True] -> [True,True]
            _ -> []
    , \x -> case x of
            [False,False] -> [False]
            _ -> []
    , \x -> case x of
            [False,False] -> [True]
            _ -> []
    , \x -> case x of
            [False,True] -> [False]
            _ -> []
    , \x -> case x of
            [False,True] -> [True]
            _ -> []
    , \x -> case x of
            [True,False] -> [False]
            _ -> []
    , \x -> case x of
            [True,False] -> [True]
            _ -> []
    , \x -> case x of
            [True,True] -> [False]
            _ -> []
    , \x -> case x of
            [True,True] -> [True]
            _ -> []
    , \x -> case x of
            [] -> [False,False]
            _ -> [False]
    , \x -> case x of
            [] -> [False,True]
            _ -> [False]
    , \x -> case x of
            [] -> [True,False]
            _ -> [False]
    , \x -> case x of
            [] -> [True,True]
            _ -> [False]
    , \x -> case x of
            [False] -> [True]
            _ -> [False]
    , \x -> case x of
            [True] -> [True]
            _ -> [False]
    , \x -> case x of
            [] -> []
            [False] -> []
            _ -> [False]
    , \x -> case x of
            [] -> []
            [True] -> []
            _ -> [False]
    , \x -> case x of
            [False,False] -> []
            _ -> [False]
    , \x -> case x of
            [False,True] -> []
            _ -> [False]
    , \x -> case x of
            [True,False] -> []
            _ -> [False]
    , \x -> case x of
            [True,True] -> []
            _ -> [False]
    , \x -> case x of
            [] -> [False,False]
            _ -> [True]
    , \x -> case x of
            [] -> [False,True]
            _ -> [True]
    , \x -> case x of
            [] -> [True,False]
            _ -> [True]
    , \x -> case x of
            [] -> [True,True]
            _ -> [True]
    , \x -> case x of
            [False] -> [False]
            _ -> [True]
    , \x -> case x of
            [True] -> [False]
            _ -> [True]
    , \x -> case x of
            [] -> []
            [False] -> []
            _ -> [True]
    , \x -> case x of
            [] -> []
            [True] -> []
            _ -> [True]
    , \x -> case x of
            [False,False] -> []
            _ -> [True]
    , \x -> case x of
            [False,True] -> []
            _ -> [True]
    , \x -> case x of
            [True,False] -> []
            _ -> [True]
    , \x -> case x of
            [True,True] -> []
            _ -> [True]
    , \x -> case x of
            [] -> [False]
            _ -> [False,False]
    , \x -> case x of
            [] -> [True]
            _ -> [False,False]
    , \x -> case x of
            [False] -> []
            _ -> [False,False]
    , \x -> case x of
            [True] -> []
            _ -> [False,False]
    , \x -> case x of
            [] -> [False]
            _ -> [False,True]
    , \x -> case x of
            [] -> [True]
            _ -> [False,True]
    , \x -> case x of
            [False] -> []
            _ -> [False,True]
    , \x -> case x of
            [True] -> []
            _ -> [False,True]
    , \x -> case x of
            [] -> [False]
            _ -> [True,False]
    , \x -> case x of
            [] -> [True]
            _ -> [True,False]
    , \x -> case x of
            [False] -> []
            _ -> [True,False]
    , \x -> case x of
            [True] -> []
            _ -> [True,False]
    , \x -> case x of
            [] -> [False]
            _ -> [True,True]
    , \x -> case x of
            [] -> [True]
            _ -> [True,True]
    , \x -> case x of
            [False] -> []
            _ -> [True,True]
    , \x -> case x of
            [True] -> []
            _ -> [True,True]
    , \x -> case x of
            [] -> []
            _ -> [False,False,False]
    , \x -> case x of
            [] -> []
            _ -> [False,False,True]
    , \x -> case x of
            [] -> []
            _ -> [False,True,False]
    , \x -> case x of
            [] -> []
            _ -> [False,True,True]
    , \x -> case x of
            [] -> []
            _ -> [True,False,False]
    , \x -> case x of
            [] -> []
            _ -> [True,False,True]
    , \x -> case x of
            [] -> []
            _ -> [True,True,False]
    , \x -> case x of
            [] -> []
            _ -> [True,True,True]
    , \_ -> [False,False,False,False]
    , \_ -> [False,False,False,True]
    , \_ -> [False,False,True,False]
    , \_ -> [False,False,True,True]
    , \_ -> [False,True,False,False]
    , \_ -> [False,True,False,True]
    , \_ -> [False,True,True,False]
    , \_ -> [False,True,True,True]
    , \_ -> [True,False,False,False]
    , \_ -> [True,False,False,True]
    , \_ -> [True,False,True,False]
    , \_ -> [True,False,True,True]
    , \_ -> [True,True,False,False]
    , \_ -> [True,True,False,True]
    , \_ -> [True,True,True,False]
    , \_ -> [True,True,True,True]
    ]
  , ...
  ]
