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

Provides a set of data types to define and traverse through multiple dimensions. The core types are Dims ds and Idxs ds, which fix dimension sizes at compile time.