https://vhyrro.github.io/posts/effect-systems/