Inferring a generic type from its nested type

Question

I am trying to create a Fetchable protocol that contains the location of where to get the objects from as part of its type, and instead of writing the fet