@jacob if you mean the type classes proposal, yes, we are just missing the impl. The compiler code base is huge and we have not found much documentation so it's been so far finding needles on a haystack and little progress but we hope that changes soon. If anybody wants to collaborate or help you are all welcome at
https://github.com/arrow-kt/kotlin