Comment by moritzruth

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