[danghica]

I agree with monads, not so sure about algebraic effects. Having to define the effect feels like "simulation" to me. It's OK for a meta-language, but to me it feels wrong for actual effectful programming.

[cousin_it]

Can you explain your wish in more detail? I feel like you might have a point, but I'm having trouble verbalizing it for myself :-(