Depunctionalization in ROC

Every single function you use in ROC has an implicit in its type is information about what that function value does back to you. So that's not visible in the type system. It's like secret metadata that's tracked by the compiler in the like type checking phase, but it's never syntactically visible. And also, that was a really important design constraint in the sense that they have to feel like normal closures in a functional language. You have to be able to do all the normal closure stuff with them or else it's like, what is this language? Yeah. Absolutely.