A Metafunction Class that takes a type list, unpacks the types, and then calls the Metafunction Class F with types.
F