This is Haskell's IO type and its do notation ! And the reordering of statements exists too. It's called ApplicativeDo[0] and is heavily used at Facebook[1] [

This is Haskell's IO type and its do notation ! And the reordering of statements exists too. It's called ApplicativeDo[0] and is heavily used at Facebook[1] [0] https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/desugaring-haskell-haskell16.pdf https://www.microsoft.com/en-us/research/wp-content/uploads/... [1] https://youtu.be/sT6VJkkhy0o https://youtu.be/sT6VJkkhy0o