Module Ppx_optional