[Haskell] RE: specification of sum