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 func

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.