Package: haskell-dependent-sum