I make use of monads as effects, and that's why I'm not getting this article.
I wrote "Feels like comparing Lists with functions" for a more general audience, but in my mind I was thinking:
- Effects are Monads
- Continuations are one particular Monad [1]
- Coroutines are probably similar?
- I would use monadic effects to allow/disallow a function from making use of Coroutines.
- If my effect system *itself* uses Coroutines how do I use the effect system to forbid Coroutines?
I wrote "Feels like comparing Lists with functions" for a more general audience, but in my mind I was thinking:
[1] https://hackage.haskell.org/package/mtl-2.3.1/docs/Control-M...