Executing them is impure. There is an isomorphism ...
# arrow
s
Executing them is impure. There is an isomorphism between
IO<A>
and
suspend () -> A
.