def f(p1: T1,
      p2: T2,
      p3: T3) -> None