pub fn against(
  query: Query(a, b, c),
  row: d,
) -> Result(e, List(String))

pub fn bind0(
  query: Query(a, b, c),
  with constructor: fn() -> b,
) -> Query(a, b, fn() -> b)

pub fn bind1(
  query: Query(a, b, c),
  with constructor: fn(d) -> b,
) -> Query(a, b, fn(d) -> b)

pub fn bind2(
  query: Query(a, b, c),
  with constructor: fn(d, e) -> b,
) -> Query(a, b, fn(d, e) -> b)

pub fn bind3(
  query: Query(a, b, c),
  with constructor: fn(d, e, f) -> b,
) -> Query(a, b, fn(d, e, f) -> b)

pub fn bind4(
  query: Query(a, b, c),
  with constructor: fn(d, e, f, g) -> b,
) -> Query(a, b, fn(d, e, f, g) -> b)

pub fn bind5(
  query: Query(a, b, c),
  with constructor: fn(d, e, f, g, h) -> b,
) -> Query(a, b, fn(d, e, f, g, h) -> b)

pub fn bind6(
  query: Query(a, b, c),
  with constructor: fn(d, e, f, g, h, i) -> b,
) -> Query(a, b, fn(d, e, f, g, h, i) -> b)

pub fn bind7(
  query: Query(a, b, c),
  with constructor: fn(d, e, f, g, h, i, j) -> b,
) -> Query(a, b, fn(d, e, f, g, h, i, j) -> b)

pub fn bind8(
  query: Query(a, b, c),
  with constructor: fn(d, e, f, g, h, i, j, k) -> b,
) -> Query(a, b, fn(d, e, f, g, h, i, j, k) -> b)

pub fn bind9(
  query: Query(a, b, c),
  with constructor: fn(d, e, f, g, h, i, j, k, l) -> b,
) -> Query(a, b, fn(d, e, f, g, h, i, j, k, l) -> b)

pub fn map0(
  query: Query(a, b, fn() -> b),
  with constructor: fn(a) -> c,
) -> Query(a, b, fn(a) -> c)

pub fn map1(
  query: Query(a, b, fn(c) -> b),
  with constructor: fn(a, c) -> d,
) -> Query(a, b, fn(a, c) -> d)

pub fn map2(
  query: Query(a, b, fn(c, d) -> b),
  with constructor: fn(a, c, d) -> e,
) -> Query(a, b, fn(a, c, d) -> e)

pub fn map3(
  query: Query(a, b, fn(c, d, e) -> b),
  with constructor: fn(a, c, d, e) -> f,
) -> Query(a, b, fn(a, c, d, e) -> f)

pub fn map4(
  query: Query(a, b, fn(c, d, e, f) -> b),
  with constructor: fn(a, c, d, e, f) -> g,
) -> Query(a, b, fn(a, c, d, e, f) -> g)

pub fn map5(
  query: Query(a, b, fn(c, d, e, f, g) -> b),
  with constructor: fn(a, c, d, e, f, g) -> h,
) -> Query(a, b, fn(a, c, d, e, f, g) -> h)

pub fn map6(
  query: Query(a, b, fn(c, d, e, f, g, h) -> b),
  with constructor: fn(a, c, d, e, f, g, h) -> i,
) -> Query(a, b, fn(a, c, d, e, f, g, h) -> i)

pub fn map7(
  query: Query(a, b, fn(c, d, e, f, g, h, i) -> b),
  with constructor: fn(a, c, d, e, f, g, h, i) -> j,
) -> Query(a, b, fn(a, c, d, e, f, g, h, i) -> j)

pub fn map8(
  query: Query(a, b, fn(c, d, e, f, g, h, i, j) -> b),
  with constructor: fn(a, c, d, e, f, g, h, i, j) -> k,
) -> Query(a, b, fn(a, c, d, e, f, g, h, i, j) -> k)

pub fn map9(
  query: Query(a, b, fn(c, d, e, f, g, h, i, j, k) -> b),
  with constructor: fn(a, c, d, e, f, g, h, i, j, k) -> l,
) -> Query(a, b, fn(a, c, d, e, f, g, h, i, j, k) -> l)

pub fn new() -> Query(a, b, c)

pub fn validate(
  query: Query(a, b, c),
) -> Result(Query(a, b, c), List(String))

pub fn var(at position: Int) -> Atom