I'm pretty confident they will become a common feature in functional languages. Unison, Roc, EYG also have some version.

Then we just need to wait for the functional languages to become mainstream.