let classify =
  function | ((`Abs, _) as p) -> `Abs p | ((`Rel, _) as p) -> `Rel p