RE: [Haskell] specification of sum