On Wed, 30 Jun 2021, Ignat Insarov wrote: > How about adding said functions into something like `Data.Foldable.Unsafe` then? What is unsafe about them? "Partial"? But then it is better to have them total and in Foldable1. Maybe the old discussion was about Foldable1?