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