> Purity and side-effect isolation This can be solved in many ways [1][2] and I don't think haskell's approach is the one that can be imported. [1]: https://w

> Purity and side-effect isolation This can be solved in many ways [1][2] and I don't think haskell's approach is the one that can be imported. [1]: https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/algeff-tr-2016-v2.pdf https://www.microsoft.com/en-us/research/wp-content/uploads/... [2]: https://en.wikipedia.org/wiki/Uniqueness_type https://en.wikipedia.org/wiki/Uniqueness_type