map length (tiers :: [[ Bool->Maybe Bool ]])  =  [1,4,4]

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

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

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

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