Also there is a relation between `suspend () ->...
# arrow
r
Also there is a relation between
suspend () -> A
<->
IO<A>
. If
IO<A>
is pure then so is
suspend ()-> A
which implies all suspended functions are pure.