Re: containers: intersections for Set, along with Semigroup newtype

I would be opposed to intersections [] = [] as it is true that *all* things have the property of being a member of every element of []. In set theory without classes I've usually seen this worked around by never using intersections on an empty set (ie using NonEmpty) ======= Georgi