Temporarily hide/comment Traversable instance of Vector

It's not synthesizable at the moment