dimensions (hackage): Many-dimensional type-safe numeric ops
Keywords: bsd3|geometry|library|math|dimensions|haskell|linear-algebra|matrices|tensors|vectors