yeah, it's based on a paper about defunctionalizat...

# arrow-contributors

[raulraja]

yeah, it's based on a paper about defunctionalization to enable kinds in type systems like Kotlins or Java's