Kwantyfikacja ograniczona przez element typu zamiast parametru typu?

Chciałbym przenieść parametr typu do elementu typu.To jest punkt wyjścia, który działa: