generic-programming Tools for generic programming, including data structures such as a multi-type map.