let /* before */ x /* after */:
  type t. (/* a */ int /* b */, /* c */ int /* d */) => /* e */ int =
  (/* c0 */ a /* c1 */, /* c2 */ b /* c3 */) => {
    // comment
    a + b
  }
