Question: Why do raw types in one place cause generic callsites somewhere else to be treated as raw?