aiken/builtin.{un_constr_data} return type is a Pair

[ariady-putra]

https://aiken-lang.github.io/prelude/aiken/builtin.html#un_constr_data

 94 │ fn constr_data_to_datum(constr: Data) -> Datum {
 95 │   let (i, ds) = builtin.un_constr_data(constr)
    ·       ───┬───
    ·          ╰── expected type 'Pair<Int, List<Data>>'

The return type of it:

prelude/lib/aiken/builtin.ak

Lines 296 to 298 in 1906506

	pub fn un_constr_data(data: Data) -> (Int, List<Data>) {
	fail
	}

It should be a Pair, not a tuple

---

I know there's if-is, but since choose_data is not deprecated yet I need to create a showcase project to explain it to people.