My co-worker Aaron was quick to reply to my earlier post on templates in type-lists with this alternative: You instead add a non-templated function invoker object: struct factory_invoker { template < class a, class b> struct apply...