Update Vec.lagda

Conflict of notation between |^| and |vv|