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
"though you end up with a large set due to predicativity" – what are the consequences/disadvantage of this?