In whatever case regarding order the Applicative i...
# arrow
r
In whatever case regarding order the Applicative impls in Arrow are consistent with monad so when you pass in multiple operations they do get sequenced because ap is implemented in terms of flatMap in most of those types