``` This plugin fun lt A gt given evidence Given A = arrow g kotlinlang #arrow

```// This plugin fun <A> given(evidence: @G...

Gavin Ray

01/01/2022, 7:24 PM

Copy code

// This plugin
fun <A> given(evidence: @Given A = arrow.given): A =
    evidence

// Scala 3
def given[A](using evidence: A): A =
    evidence