Make GHC apply basic math laws on `KnownNat`

Question

i just discovered the super awesome Haskell library Numeric.LinearAlgebra.Static from the hmatrix package.

Now i implemented a function that shall transf