A high-performance functional, set-theoretic collections library.  All collections are immutable; updates return a new collection.  Supports arbitrary nesting (sets of sets etc.).  Implemented with heterogeneous binary trees.  Lisp and Java; more to come.