Quantificação limitada por F através do membro type em vez do parâmetro type?

Eu gostaria de mover um parâmetro de tipo para um membro de tipo.Este é o ponto de partida que funciona: