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