By: Tom Sydney Kerckhove <syd@cs-syd.eu>
Try out every carrier the rule names Except and Validation were in the list and in no resource, so a typo in either name would have been invisible: nothing in this repository or in the three tried out over writes a string with them, and the goldens only had Either, ExceptT and MonadError. Two more cases come with them, both of the reading rather than the list. Two carriers in one type are two findings and not four, which is the half of the deduplication that the nesting exclusion does. And a carrier and a failure written under qualified names are the same carrier and the same failure, which the occurrence name is what makes true.