“do” with functions without “return”

do {a <- (* 2); b <- (+ 10); ((a + b) +)} $ 7 → 38
(* 2) >>= (\a -> (+ 10) >>= (\b -> ((a + b) +)))
(\r -> (\a -> (+ 10) >>= (\b -> ((a + b) +))) ((* 2) r) r)
(\r -> (\a -> (\r -> (\b -> ((a + b) +)) ((+ 10) r) r)) ((* 2) r) r)
(\r -> (\a -> (\r -> (\b -> ((a + b) +)) (r + 10) r)) ((* 2) r) r)
(\r -> (\a -> (\r -> (\b -> ((a + b) +)) (r + 10) r)) (r * 2) r)
(\r -> (\a -> (\r -> (\b -> ((a + b) +)) (r + 10) r)) (r * 2) r)
(\r -> (\a -> (\r -> (((a + (r + 10)) +)) r)) (r * 2) r)
(\r -> ((\r -> ((((r * 2) + (r + 10)) +)) r)) r)
(\r -> ((\r -> ((((r * 2) + (r + 10)) +)) r)) r)
(\r -> (\r -> ((((r * 2) + (r + 10)) +)) r) r)
(\r -> (\r -> (((r * 2) + (r + 10)) +) r) r)
(\r -> (\s -> (((s * 2) + (s + 10)) +) s) r) 7
(\s -> (((s * 2) + (s + 10)) +) s) 7
(((7 * 2) + (7 + 10)) +) 7
((7 * 2) + (7 + 10) +) 7
((14) + (7 + 10) +) 7
((14) + (7 + 10) +) 7
(14 + (7 + 10) +) 7
(14 + (17) +) 7
(14 + 17 +) 7
(14 + 17 +) 7
(31 +) 7
31 + 7
38