Support non-trivial lambdas in Scala-style rendering format

[neko-kai]

In current implementation of LightTypeTag#scalaStyledName it's impossible to distinguish [A, B] =>> Either[A, B] and [A, B] =>> Either[B, A] lambdas since they both end up printed as Either[_, _].

To fix this, we should add a check for whether it's correct to use _-placeholders when printing a lambda - it's only correct when all lambda parameters are applied and in the same order as they were declared. If not, we should print a long lambda form such as [A, B] =>> Either[A, B].

/cc @Ivoyaa

[jdegoes]

/bounty $150

[algora-pbc]

💎 $150 bounty • ZIO

Steps to solve:

1. Start working: Comment /attempt #384 with your implementation plan
2. Submit work: Create a pull request including /claim #384 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

Attempt	Started (GMT+0)	Solution
🔴 @varshith257	Nov 8, 2024, 9:50:13 PM	WIP

[varshith257]

/attempt #384

Algora profile	Completed bounties	Tech	Active attempts	Options
@varshith257	5 ZIO bounties + 14 bounties from 9 projects	Rust, Go, Scala & more	﹟9272, ﹟9189	Cancel attempt

[algora-pbc]

@varshith257: Reminder that in 7 days the bounty will become up for grabs, so please submit a pull request before then 🙏

[algora-pbc]

The bounty is up for grabs! Everyone is welcome to /attempt #384 🙌