cabal-package category-theory generating-function graph graph-algorithms haskell haskell-library mathematics matrix monoids real-number streams units-of-measurement vector-math