Data.Vector.replicate: negative length -1
