What connection, if any, is there between ML modules and PureScript-style records/rows? Also, if there is a relationship, what is the module-world equivalent of row polymorphism?
Conversation
Yeah, been having to read the idris and blodwen sources for that - the Idris paper is light on specifics. I think there is some unification that goes on. Youalso can’t explicitly write `Type n`…