Const-ness and purity are each international results: we will only cross the border once, and that is enforced globally by the language’s runtime itself. Asynchronicity appears like an EffectLocal that behaves like... Read more »