Hi,

I tried this in ghci:
>Prelude> 1:2:[] == 1:2:[]
True

Does this mean (:) return the same object on same input,

Also, in functional programming, every function returns the same output for the same input. That's part of the definition of function. :-)

Luke