F-begrenzte Quantifizierung durch Typelement anstelle von Typparameter?

Ich möchte einen Typparameter in ein Typparameter verschieben.Dies ist der Ausgangspunkt, der funktioniert: