WeakSets (hackage): This package answers two problems : how to make sets and maps of types which do not implement the Ord typeclass and how to make arbitrarily nested sets as set theory allows. The first problem is resolved thanks to WeakSets  and WeakMaps. The second problem is resolved thanks to PureSet.
Keywords: data|lgpl|library|math