Re: [core libraries] Proposal: Make default impls for foldl1 and foldr1 lazier