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