AFAIK it's because of trait solving. And also not every language does monomorphization.