let me see if I understand this correctly: `fx { I...
# arrow
b
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?