you end up with a model where

(A) -> B

defines pure computations, and both

suspend (A) -> B

and

(A) -> Kind<F, B>

represent sequencing of events that can fail or have different semantics, like changing threads, or paralellism