Diff ppx_optional-0.14.0 with a ppx_optional-0.15.0

Thank you!