Good point! You might be interested in reading this article on the topic: https://without.boats/blog/coroutines-and-effects/

Thanks, I did find that interesting. I would say Bluefin is another entry in the static/lexical row, whereas its cousin effectful is in the static/dynamic row (although this may be a slightly different interpretation of the terms than is used in the article).