>let me see if I understand this correctly: `fx...

# arrow

[pakoito]

let me see if I understand this correctly: fx { IO { ... } } is useless because IO { ... } is just a function value bound in a context, but fx { !IO { ... } } is correct since fx understands how to deal with the coroutine and correctly causes IO to run its computation?

More or less correct, yes. When doing IO { bla } you’re defining it but not running it