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.