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