> C sequence points are arbitrarily imposed [and] not linked to any evaluation causality. That’s exactly my point. Writing g >>= \x -> h >>= \y -> f x y is lik

> C sequence points are arbitrarily imposed [and] not linked to any evaluation causality. That’s exactly my point. Writing g >>= \x -> h >>= \y -> f x y is like writing (x = g(), y = h(), f(x,y)), with an arbitrary ordering between computations g and h that the programmer is forced to choose, whereas f <$> g <*> h is like f(g(), h()), with no ordering between g and h imposed by the applicative model itself, similar to the absence of a sequence point between sibling arguments in C.