30 Jun
2021
30 Jun
'21
1:13 p.m.
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?