Как правильно типизировать асинхронные функции и `Promise` в TypeScript?

СобеседованиеСистема типов

async function f(): Promise<R> — всегда возвращает Promise<R>
return внутри async автоматически оборачивается в Promise.resolve
Поддерживается PromiseLike<T> — для любых thenable-объектов
Ошибки не типизируются: catch(e) — тип unknown (с useUnknownInCatchVariables)
Awaited<T> — рекурсивное разворачивание Promise
Promise.all возвращает кортеж типов: Promise<[A, B, C]>