A blog post on how this has been designed would be helpful.

What are the main types?

What are the advantages over IO?

How does it relate to algebraic effects we keep hearing about in other languages?

How does it compare to imperative languages?