Could you explain by what route this type name gets here, if we no longer have to specify it here? Or is it the case that there is no longer any type at all, and all the elaboration is done via the extra options here?