Test Data.Set's intersection
union (#26 (closed), !83 (merged)) and difference (#32 (closed), !102 (merged)) were already found buggy. This one uses a hedge algorithm as well, and may also be buggy.
To upload designs, you'll need to enable LFS. More information