On Sun, 6 Dec 2020, Reed Mullanix wrote: > In a perfect world we would use something like Foldable1 from > semigroupoids, but sadly that is not in base. Is it necessary to have it in base for your use? For me, 'NonEmpty.foldl1 Set.intersection' is perfect.