/p/haskell-dependent-sum/