(
  let { a, b } = { a = 1, c = 2 } in
  a: Number
): _