leancheck-0.7.1: tests/diff/tiers-funlistable-Us-Us.out

map length (tiers :: [[ [()]->[()] ]])  =  [1,1,1,1,...]

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

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

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

tiers :: [[()]->[()]]  =
  [ [ \x -> case x of
              [] -> []
              [()] -> []
              [(),()] -> []
              [(),(),()] -> []
              [(),(),(),()] -> []
              [(),(),(),(),()] -> []
              [(),(),(),(),(),()] -> []
              [(),(),(),(),(),(),()] -> []
              ...
    ]
  , [ \x -> case x of
              [] -> [()]
              [()] -> [()]
              [(),()] -> [()]
              [(),(),()] -> [()]
              [(),(),(),()] -> [()]
              [(),(),(),(),()] -> [()]
              [(),(),(),(),(),()] -> [()]
              [(),(),(),(),(),(),()] -> [()]
              ...
    ]
  , [ \x -> case x of
              [] -> [(),()]
              [()] -> [(),()]
              [(),()] -> [(),()]
              [(),(),()] -> [(),()]
              [(),(),(),()] -> [(),()]
              [(),(),(),(),()] -> [(),()]
              [(),(),(),(),(),()] -> [(),()]
              [(),(),(),(),(),(),()] -> [(),()]
              ...
    ]
  , [ \x -> case x of
              [] -> [(),(),()]
              [()] -> [(),(),()]
              [(),()] -> [(),(),()]
              [(),(),()] -> [(),(),()]
              [(),(),(),()] -> [(),(),()]
              [(),(),(),(),()] -> [(),(),()]
              [(),(),(),(),(),()] -> [(),(),()]
              [(),(),(),(),(),(),()] -> [(),(),()]
              ...
    ]
  , ...
  ]