leancheck-0.7.0: tests/diff/tiers-colistable-U-U.out

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

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

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

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

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