PS. If we decide not to go ahead with this, there's a small change to the semantics of "return" in a generator that might allow asyncio to distinguish between an intended return statement in the generator and an accidentally escaping StopIteration -- the return case should use a newly defined subclass of StopIteration. asyncio's _step() function can then tell the two situations apart easily.