leancheck-0.7.1: tests/diff/tiers-mixed-U-Bool.out

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

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

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

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

tiers :: [()->Bool]  =
  [ [ \x -> case x of
              () -> False
    , \x -> case x of
              () -> True
    , \x -> case x of
              () -> False
    , \x -> case x of
              () -> True
    ]
  ]