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
Hm, what's "large" here? Something like Set/Type?
1
Guessing `Set i` where `i > 0`?