Still typing Lua standard libraries: coroutine