/bounty $150

💎 $150 bounty • ZIO

Steps to solve:

1. Start working: Comment /attempt #379 with your implementation plan
2. Submit work: Create a pull request including /claim #379 in the PR body to claim the bounty
3. Receive payment: 100% of the bounty is received 2-5 days post-reward. Make sure you are eligible for payouts

Thank you for contributing to zio/izumi-reflect!

Add a bounty • Share on socials

There are several ways to address this. If someone wishes to work on this, I would advise to apply normalization in the constructor of LightTypeTagRef.Lambda, that should be a simple recursive rule just renumbering the parameters starting from the innermost structures (current numbering naturally starts from the outermost ones). So, you dig into the lambda, which is a tree-like structure, and once you reach the leaves, you roll your recursion back inverting the LambdaParamName.depth.

Alternatively, one might look at the application points of LambdaParamName and try to refine our current approach to parameter numbering, although I think while it might be more correct to do so, it's not worth it.

💡 @asr2003 submitted a pull request that claims the bounty. You can visit your bounty board to reward.