Aiken error on using tuple index when a tuple is returned by a (generic) function

[MicroProofs]

What Git revision are you using?

latest main

What operating system are you using, and which version?

• [ ] Linux / Ubuntu
• [ ] Linux / Other
• [x] macOS
• [ ] Windows

Describe what the problem is?

Using tuple index access on a tuple returned by a function returns a type mismatch error

What should be the expected behavior?

The current workaround is

[KtorZ]

But list.at doesn't return a Tuple, it returns an Option 🤨

Never mind, it seems that you use your own list_at