Dimensionally-typed linear algebra for Haskell based on the dimensional-dk package