/p/haskell-dependent-sum-template/