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

[Johannes Waldmann]

> How can I convert an Integer into a Proxy (n :: KnownNat)
> with n equal to the integer?

Data.Reflection.reifyNat ?

https://mail.haskell.org/pipermail/haskell-cafe/2017-November/128152.html

- J.W.