template< typename SignatureList, typename PolicyList >
	struct make_converter_list {
		static_assert(meta::is_typelist<SignatureList>::value || meta::size<SignatureList>::value, "Given SignatureList is no type list or does not have at least a return type");
		static_assert(meta::is_typelist<PolicyList>::value || meta::size<PolicyList>::value, "Given SignatureList is no type list");
	};

	template< typename Signature0, typename... SignatureTypes, typename Policy0, typename... PolicyTypes >
	struct make_converter_list< meta::type_list< Signature0, SignatureTypes... >, meta::type_list< Policy0, PolicyTypes... > >
	{
		static_assert(sizeof...(SignatureTypes) == sizeof...(PolicyTypes), "Mismatching Signature/Policy combination");
		typedef meta::type_list< typename Policy0::apply<Signature0, tag1>::type, typename PolicyTypes::apply< SignatureTypes, tag0 >::type... > type;
	};

Also für jedes Paar aus der Signaturliste und der Policyliste soll PolicyElement::apply<SignaturElement,tag>::type ausgewertet werden und aus dem ganzen wieder eine Typliste zusammengesetzt werden.
Nun expandiere ich aber beide Parameterpacks "gleichzeitig" und der Compiler meckert, dass er ein '>' erwarten würde. Also sieht es für mich so aus, als könnte die "gleichzeitige" Expansion der zwei Parameterpacks irgendwie fehlerhaft sein. Habe ich da gerade einen Syntaxfehler eingebaut, den ich nicht sehe, oder darf man das gar nicht machen?

Danke für eure Hilfe schonmal!

typedef meta::type_list< typename Policy0::template apply<Signature0, tag1>::type, typename PolicyTypes::template apply< SignatureTypes, tag0 >::type... > type;