Lazy versus Eager Execution Models

Build distinct coroutine types that define whether execution begins at the point of call or upon explicit await.