"Лучше бы вообще не делали". Уверен? И раст лишился бы пары перспективных ниш для использования языка. А если тебе так не нравятся async'и ты можешь их не использовать zero cost же 😊. А еще откуда уверенность, что с монадами получилось бы сильно лучше? Вроде до сих пор такого еще никто не сделал, даже в виде эксперимента.
Речь про приоритеты.
Имхо, куда важнее довести систему типов до ума, хотя бы доработать вещи, которые в полуготовом виде годами сидят, (impl трейты, конст дженерики) чем браться за новые не критичные фичи. А async/await - вполне себе не критичная вещь, асинхронный код без него пишется настолько же запросто.