once you’re inside an `IO` side-effects are consid...

# arrow

[pakoito]

once you’re inside an IO side-effects are considered wrapped so at least they’re wrapped in an environment that’s lazy and will control errors.