haskell-dependent-sum