Lib.rs

Something like variadic templates or a type map using recursive generics. The advantage over a hashmap-backed type map is that the monomorphizations of the generic structs and getter functions should compile down to code as efficient as a normal struct field access.

lib.rs:

This is an implementation of variadic templates using recursive generics. It functions something like a TypeMap, but the optimizer should make getting and adding values much faster.