instance Vector for strict tuples

[Bodigrim]

What would be the right place for something like this?

import qualified Data.Vector.Generic as G
import qualified Data.Vector.Generic.Mutable as MG
import qualified Data.Vector.Unboxed as U
import qualified Data.Vector.Unboxed.Mutable as MU

newtype instance U.MVector s (Strict.Pair a b) = MV_StrictPair (U.MVector s (a, b))
newtype instance U.Vector    (Strict.Pair a b) = V_StrictPair  (U.Vector    (a, b))
instance U.IsoUnbox (Strict.Pair a b) (a, b)
deriving via (Strict.Pair a b `U.As` (a, b)) instance (U.Unbox a, U.Unbox b)
  => MG.MVector U.MVector (Strict.Pair a b)
deriving via (Strict.Pair a b `U.As` (a, b)) instance (U.Unbox a, U.Unbox b)
  => G.Vector  U.Vector  (Strict.Pair a b)
instance (U.Unbox a, U.Unbox b) => U.Unbox (Strict.Pair a b)

A new micro package?

[phadej]

A new micro package?

Probably. I don't see anything particularly strict here. Or maybe even just put that in vector.

EDIT: If first strict pair needs to be added to base, so be it.