Yes, TREX and Mark Jones's work on qualified types was very influential to this project. I am a big fan of that work. I added a few details in this post below

Yes, TREX and Mark Jones's work on qualified types was very influential to this project. I am a big fan of that work. I added a few details in this post below: https://news.ycombinator.com/item?id=14787429 https://news.ycombinator.com/item?id=14787429 I hope that answers your questions although I know that there's a lot more that could be said about this topic.