We already sort of see threading state through chains of (pure) functions; it's how you write React, especially if you use Redux instead of hooks. You lug props around, they are explicitly immutable because you always get a copy, and it's fine, nobody complains much. It feels logical.

Some more effort in packaging this ergonomically, and we'll see purity annotations in TS and explicit passage of state objects around.