haskell-dependent-sum-template