Module Ppx_client_eio