This means that use_coro does not return a coro object, just like use_awaitable does, i.e. it's an overhead that buys us type erasure. Allocators can now be set for coro by including allocator_arg in the coro signature.