Asynchronous effect-based IO