The larger point here is that the ossification is a direct result of the combination of two things: the way that monomorphization works, and wanting to maintain ABI stability in perpetuity.

I don't know how to solve it, but it's clear that C++'s general utility is severely hampered by this ABI stability crutch.