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
Just implemented universe levels in my test thingy, and I see the annoyance they bring. What are your thoughts on Conor McBride’s blog post: pigworker.wordpress.com/2015/01/09/uni - I searched around, but couldn’t see if his thinking had evolved since then...