Related thread:
So there’s not much activity in this space, but see Tim Holy’s comment about profile-guided despecialization for a limited example.