Robust collections, mutable data types which can survive both multithreading and nested modifications without any extra work