rojff. Nearly that entire library could be pure if not for the polymorphism. So if such a feature existed, it would be quite beneficial.
erloff could also be entirely pure with such a procedure.
Any heterogeneous container can’t be used in pure contexts, but could if such a feature were added.
I could go on, but I think maybe you get the point.