And for generic data structures one can also a very thin layer of macros around type-erased implementations.