iterate-while: typing

[ChristianGruen]

head(iterate-while(
  (1, 2),
  false#0,
  fn($s as xs:integer) { $s[2], 1 }
))

Expected: 1, returned: 1 2