realToFracVecNM :: (KnownNat n, KnownNat m) => Vector n a -> Vector m b
realToFracVecNM = f . resizeVector
    where f ::Vector m a -> Vector m b
          f = coerce
realToFracVecNM :: (KnownNat n, KnownNat m) => Vector n a -> Vector m b
realToFracVecNM = f . resizeVector
    where f ::Vector m a -> Vector m b
          f = coerce
realToFracVecNM = f . resizeVector
    where f ::Vector m a -> Vector m b
          f = coerce