To understand "do" you need to understand the underlying >>= and return operator...

		worksonmymach 11 days ago \| parent \| context \| favorite \| on: 8 months of OCaml after 8 years of Haskell in prod... To understand "do" you need to understand the underlying >>= and return operators for your monad. If you can use >>= and return to do it then "do" is indeed a mechanical transformation. It is like await if you understand JS promises.