pub fn append1(tuple: #(a), data: b) -> #(a, b)

pub fn append2(tuple: #(a, b), data: c) -> #(a, b, c)

pub fn append3(tuple: #(a, b, c), data: d) -> #(a, b, c, d)

pub fn append4(tuple: #(a, b, c, d), data: e) -> #(a, b, c, d, e)

pub fn append5(
  tuple: #(a, b, c, d, e),
  data: f,
) -> #(a, b, c, d, e, f)

pub fn append6(
  tuple: #(a, b, c, d, e, f),
  data: g,
) -> #(a, b, c, d, e, f, g)

pub fn append7(
  tuple: #(a, b, c, d, e, f, g),
  data: h,
) -> #(a, b, c, d, e, f, g, h)

pub fn append8(
  tuple: #(a, b, c, d, e, f, g, h),
  data: i,
) -> #(a, b, c, d, e, f, g, h, i)

pub fn append9(
  tuple: #(a, b, c, d, e, f, g, h, i),
  data: j,
) -> #(a, b, c, d, e, f, g, h, i, j)

pub fn with_append1(tuple: #(a), cb: fn(a) -> b) -> #(a, b)

pub fn with_append2(
  tuple: #(a, b),
  cb: fn(a, b) -> c,
) -> #(a, b, c)

pub fn with_append3(
  tuple: #(a, b, c),
  cb: fn(a, b, c) -> d,
) -> #(a, b, c, d)

pub fn with_append4(
  tuple: #(a, b, c, d),
  cb: fn(a, b, c, d) -> e,
) -> #(a, b, c, d, e)

pub fn with_append5(
  tuple: #(a, b, c, d, e),
  cb: fn(a, b, c, d, e) -> f,
) -> #(a, b, c, d, e, f)

pub fn with_append6(
  tuple: #(a, b, c, d, e, f),
  cb: fn(a, b, c, d, e, f) -> g,
) -> #(a, b, c, d, e, f, g)

pub fn with_append7(
  tuple: #(a, b, c, d, e, f, g),
  cb: fn(a, b, c, d, e, f, g) -> h,
) -> #(a, b, c, d, e, f, g, h)

pub fn with_append8(
  tuple: #(a, b, c, d, e, f, g, h),
  cb: fn(a, b, c, d, e, f, g, h) -> i,
) -> #(a, b, c, d, e, f, g, h, i)

pub fn with_append9(
  tuple: #(a, b, c, d, e, f, g, h, i),
  cb: fn(a, b, c, d, e, f, g, h, i) -> j,
) -> #(a, b, c, d, e, f, g, h, i, j)