The Type Proofs plugin that I’m working on replace...

# arrow-contributors

[raulraja]

The Type Proofs plugin that I’m working on replaces Type classes and other features and it with will work in IR and ASM.
So we have even better ergonomics than those proposed in Keep 87