Logarithms of algebraic data types for property-based testing (2022)