> the generic type parameters can be avoided by adding a parameter that looks like what you want to pull

It's possible but what's wrong with the generic type parameter? It's an unequivocal way of specifying of what type is expected on the other side.