Got the analysis phase hooked up. I've cleaned up the code, and am at a point where I can now find the invalid entries (though I'll need to clean this up more and make it more resilient). Next on the TODO: I have to hook up the desugaring for the invalid elements (test will probably fail until this is done). Latest changes are pushed up to
https://github.com/arrow-kt/arrow-meta/pull/651 I got to take off for a bit, but I should be able to get more done later today. Thanks to
@raulraja for all his help understanding the analysis phase!