I’m afraid I don’t have much time right now. But some pointers:
- The PR that introduced PolyFunction
- The on-going work on polymorphic eta-expansion: discussion, PR
- The extractor that defines what a SAM type is
1 Like