module Shapes.Linear.Class where -- TODO: use class to make matrix/vector/scalar multiplication fit together nicely? -- NOTE: Can't make type family of kind #. (confirm?)