disco-0.1.0.0: test/pretty-type/input

:type [1,2,3,4]
:type [[1,2],[3,4]]
:type [[(2,true), (3,false)], [(-5,true)]]