can you try to extract a local variable and hint t...
# arrow
p
can you try to extract a local variable and hint the ListK type