We guarantee stack safety for IO combinators
# arrow
s
We guarantee stack safety for IO combinators