Turns a list of types into a list of different types via the provided type mapping.
Definition at line 83 of file TMP.h.