Don't Go Down the Rabbit Hole: Reprioritizing Enumeration for Property-Based Testing. - Segev Elazar Mittelman; Aviel Resnick; Ivan Perez 001; Alwyn E. Goodloe; Leonidas Lampropoulos (Haskell, 2023)