matrix_construction.nim

type
  DenseMatrixLayout* {.pure.} = enum
    ColumnMajor,
    RowMajor
 
  DenseMatrix*[R, C: static[int], T; L: static[DenseMatrixLayout]] = object
    elements: array[R*C, T]

  Matrix4 = DenseMatrix[4, 4, float, DenseMatrixLayout.ColumnMajor]

proc makeDense[T](N, M: static[int], L: static[DenseMatrixLayout], data: array[N*M, T]): DenseMatrix[N, M, T, L] =
  result.elements = data

var m = makeDense(2, 2, DenseMatrixLayout.ColumnMajor, [1.0, 2.0, 3.0, 4.0])

when false:
  proc new(x: type DenseMatrix, data: array[x.N * x.M, x.T]): DenseMatrix =
    result.elements = data

  var m = Matrix4.new [1.0, 2.0, 3.0, 4.0]

when false:
  converter fromArray[M, N, T, L](data: array[M*N, T]): Matrix[M, N, T, L] =
    result.elements = data

  var m = Matrix4 [1.0, 2.0, 3.0, 4.0]

In general, it's preferable to always rely on type inference. If you keep all type mentions on the right-hand side, the code is fully compatible for use in calls and other "anonymous" positions in the grammar:

transform(point, Matrix2 [0, 1,
                          1, 0])

var m1 = Matrix [1, 2, ...]