dimensions-1.0.0.0: Safe type-level dimensionality for multidimensional data.

Index - ^

^Numeric.Dim, Numeric.Dimensions.Dims, Numeric.Dimensions.Idxs, Numeric.Dimensions