Thoughts on future additions of type-level features

It’s difficult for me to comment on future type-level additions to the language without a firm understanding of the system we already have. The documentation for PureScript is a start, but I’ve created this thread in the hopes of gathering a few more resources that would help more people learn about the theoretical basis for the current system.

With that knowledge more of us would be able to make informed comments in this discussion.