I tried making my own asyncio-like event loop for the ESP8266 yesterday, and because the types module is not available, I simply copied the relevant part for types.coroutine. It turns out it uses func.__code__, which is apparently not implemented in micropython.