Need to use ppx_tools.metaquot.