Yes, all valid examples (as was the 727RE, come to that), but with the A380 we're not talking about the kind of step-change that replacing turbojets with turbofans represented, or replacing first-generation turbofans with second-generation ones.
And not forgetting that all of those engine programs had other applications as well, which can't be said for an upgraded Trent 900.