With 4-5 primitive functions and the relationship ...
# arrow
r
With 4-5 primitive functions and the relationship between
suspend () -> A
and
Kind<F, A>
we have side effect control for all suspendable monad data types for which IO has the richer and nicer API.