you end up with a model where `(A) -> B` define...

# arrow

[pakoito]

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