disco-0.1.0.0: test/pretty-type/expected
[1, 2, 3, 4] : List(ℕ) [[1, 2], [3, 4]] : List(List(ℕ)) [[(2, true), (3, false)], [(-5, true)]] : List(List(ℤ × Bool))
[1, 2, 3, 4] : List(ℕ) [[1, 2], [3, 4]] : List(List(ℕ)) [[(2, true), (3, false)], [(-5, true)]] : List(List(ℤ × Bool))