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

Index - +

+Numeric.Dim, Numeric.Dimensions.Dims, Numeric.Dimensions.Idxs, Numeric.Dimensions
+!+Numeric.Type.Evidence, Numeric.Dimensions
++Numeric.Type.List, Numeric.TypedList, Numeric.Dimensions
+:Numeric.Type.List, Numeric.TypedList, Numeric.Dimensions