let func2 level name pp1 pp2 pp3 f a b =
  func level name (Pretty.pair pp1 pp2) pp3
    (fun (a, b) -> f a b) (a, b)