realToFracMatNM :: (KnownNat n, KnownNat m) => Matrix n a -> Matrix m b
realToFracMatNM = f . resizeMatrix
    where f ::Matrix m a -> Matrix m b
          f = coerce
realToFracMatNM :: (KnownNat n, KnownNat m) => Matrix n a -> Matrix m b
realToFracMatNM = f . resizeMatrix
    where f ::Matrix m a -> Matrix m b
          f = coerce
realToFracMatNM = f . resizeMatrix
    where f ::Matrix m a -> Matrix m b
          f = coerce