<div dir="ltr"><div>I thought the answer would be easy to find on the internet, but I cannot find any package that features a strict version of `sum`. <br></div><div><br></div><div>Do you know if such a function is defined anywhere? (like a custom prelude for instance)</div><div><br></div><div>I know it is trivial to define, but I would prefer not to repeat myself (and somebody else).</div><div><br></div><div>Thanks!<br></div></div>