> Monads are not the same thing as effect types Monads can be used to implement "effect types" and define the semantics of them. I believe this is how Koka wor

> Monads are not the same thing as effect types Monads can be used to implement "effect types" and define the semantics of them. I believe this is how Koka works. > Talking about Haskell monads just does not seem all that relevant in this context. I respectfully disagree. Async/Await first appeared in F# as a Monad (Computational Workflow). Monads also do not necessarily have to involve closures at runtime, they can be useful just to define semantics and build type-checkers.