Generic Implementations of Useful Data Structures.