A Metafunction Class that takes a bunch of arguments, bundles them into a type list, and then calls the Metafunction Class F with the type list.
F