Model Checking by Baier and Katoen — start them young

This means that whenever I need to do anything more complex with a set, I need to convert it to a list, do my thing, and then convert the list to a new set of whatever resulting type.

So what do the Pros do? Is Base.Set much better / does it fix this? Is there a workaround for PPX? Thank you! (4/4)

3. I guess as a consequence of 1, there are no functions between types of sets. For example, map is extremely weak because it can only be an endofunction. (3/4)

1. Having to declare a module for every possible type of set is quite annoying.

2. Almost no PPX derivers work with it. And by extension, they won't work with whatever types you make that use it. (2/4)