linear (hackage): Types and combinators for linear algebra on free vector spaces
Keywords: algebra|bsd3|library|math