My understanding is that he found an encoding that...

# arrow

[raulraja]

My understanding is that he found an encoding that satisfies type classes with swift current features. Also the Kotlin typeclass proposal compiler plugin shape has changed