leancheck-0.7.0: tests/diff/tiers-Ints.out

tiers :: [[Int]]  =
  [ [[]]
  , [[0]]
  , [ [0,0]
    , [1]
    ]
  , [ [0,0,0]
    , [0,1]
    , [1,0]
    , [-1]
    ]
  , [ [0,0,0,0]
    , [0,0,1]
    , [0,1,0]
    , [0,-1]
    , [1,0,0]
    , [1,1]
    , [-1,0]
    , [2]
    ]
  , [ [0,0,0,0,0]
    , [0,0,0,1]
    , [0,0,1,0]
    , [0,0,-1]
    , [0,1,0,0]
    , [0,1,1]
    , [0,-1,0]
    , [0,2]
    , [1,0,0,0]
    , [1,0,1]
    , [1,1,0]
    , [1,-1]
    , [-1,0,0]
    , [-1,1]
    , [2,0]
    , [-2]
    ]
  , ...
  ]

map length (tiers :: [[ [Int] ]])  =  [1,1,2,4,8,16,...]

length (list :: [ [Int] ])  =  Infinity

allUnique (list :: [ [Int] ])  =  True

ratioRepetitions (list :: [ [Int] ])  =  0 % 1