make the Data.Vector.Pair  use a data family instead of GADT so that injectivity works better (weird right?!)