Not necessarily; you can remove the cumbersome async/await syntax while still tracking concurrency/mutation/control effects with an effect system, which might c

Not necessarily; you can remove the cumbersome async/await syntax while still tracking concurrency/mutation/control effects with an effect system, which might come with effect inference. Also, even without effect inference, implicit effects don't have to be wrong: Haskell has them (unsafePerformIO) as do other MLs, but they aren't used in normal programming and that's largely turned out fine.