It handles all the plumbing for you with monkey-patching I/O calls. No annotations necessary, you just write linear code.
[1] http://www.gevent.org