[Haskell-cafe] How to turn Integer into Proxy (n :: KnownNat) with n equal to the integer?

I’d like to use Data.Vector.Sized.slice’, but it wants the starting position and length parameters as Proxys, not Integers. How can I convert an Integer into a Proxy (n :: KnownNat) with n equal to the integer?