@hackage / dimensions

Safe type-level dimensionality for multidimensional data.