A modern programming language that makes developers happier.

kotlinlang

I see in `arrow-meta` there is a plugin which provides a macro called `@Given()`
From the tests, it seems to be roughly identical to Scala 3's `given` + `using` where you say "This function requires some type `Foo` to have a value provided in the context/scope"

Is this sort of like an implementation of the Multiple Receivers proposal as a compiler plugin?
<https://github.com/arrow-kt/arrow-meta/blob/8f9e80bfbbcb12c16f025bc5ca7d69cbeeec0844/compiler-plugin/src/test/kotlin/arrow/meta/plugins/typeclasses/GivenTest.kt|https://github.com/arrow-kt/arrow-meta/blob/8f9e80bfbbcb12c16f025bc5ca7d69cbeeec08[…]gin/src/test/kotlin/arrow/meta/plugins/typeclasses/GivenTest.kt>

<https://kotlinlang.slack.com/archives/C5UPMM0A0/p1640637183380500?thread_ts=1640632930.374100&amp;cid=C5UPMM0A0>