map length (tiers :: [[ Maybe Bool->Maybe Bool ]])  =  [1,6,12,8]

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

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

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

tiers :: [Maybe Bool->Maybe Bool]  =
  [ [\_ -> Nothing]
  , [ \x -> case x of Just True -> Just False; _ -> Nothing
    , \x -> case x of Just True -> Just True; _ -> Nothing
    , \x -> case x of Just False -> Just False; _ -> Nothing
    , \x -> case x of Just False -> Just True; _ -> Nothing
    , \x -> case x of Nothing -> Just False; _ -> Nothing
    , \x -> case x of Nothing -> Just True; _ -> Nothing
    ]
  , [ \x -> case x of Nothing -> Nothing; _ -> Just False
    , \x -> case x of Nothing -> Nothing; Just False -> Just False; Just True -> Just True
    , \x -> case x of Nothing -> Nothing; Just False -> Just True; Just True -> Just False
    , \x -> case x of Nothing -> Nothing; _ -> Just True
    , \x -> case x of Just False -> Nothing; _ -> Just False
    , \x -> case x of Nothing -> Just False; Just False -> Nothing; Just True -> Just True
    , \x -> case x of Just True -> Nothing; _ -> Just False
    , \x -> case x of Nothing -> Just False; Just False -> Just True; Just True -> Nothing
    , \x -> case x of Nothing -> Just True; Just False -> Nothing; Just True -> Just False
    , \x -> case x of Just False -> Nothing; _ -> Just True
    , \x -> case x of Nothing -> Just True; Just False -> Just False; Just True -> Nothing
    , \x -> case x of Just True -> Nothing; _ -> Just True
    ]
  , [ \_ -> Just False
    , \x -> case x of Just True -> Just True; _ -> Just False
    , \x -> case x of Just False -> Just True; _ -> Just False
    , \x -> case x of Nothing -> Just False; _ -> Just True
    , \x -> case x of Nothing -> Just True; _ -> Just False
    , \x -> case x of Just False -> Just False; _ -> Just True
    , \x -> case x of Just True -> Just False; _ -> Just True
    , \_ -> Just True
    ]
  ]
