experimental package and command to auto-determine descriminators for CUE disjunctions
https://github.com/rogpeppe/cuediscrim.git
git clone https://github.com/rogpeppe/cuediscrim.git
git clone git@github.com:rogpeppe/cuediscrim.git
gh repo clone rogpeppe/cuediscrim