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
"Type Checking with Universes" seems to be the one. Thanks again for all your explanations - lots to get my head around. Always handy to get pointers to things!