let pp fmt p = 
  Pretty.string fmt "[";
  V.pp fmt p.v; 
  D.pp fmt p.d;
  Pretty.string fmt "]"