disco-0.1.0.0: test/types-compare/input

([1,2,3] : List(Z)) == ([1,2,3] : List(N))