Хм, и так же есть одна do нотация. Зачем вторая то?
Но, конечно, есть ещё одно принципиальное отличие именно для футур и прочих не-ленивых монадок.
Асинк эвейт внутри несёт стейт машину, которая делает примерно то же, что трамполайн в ленивых.
Иными словами, гораздо меньше асинхронных барьеров, и даже шанс не получить стековерфлоу в случае рекурсии на стеконебезопасных манатках.