def iota: ., (. + 1 | iota);
0 | iota