Re: [GHC] #15031: [1,1..0] /= [1,1..2]