Non-blocking I/O as lambda calculus
