Closed jobjo closed 3 years ago
Also avoid infinite recursion for recursive types by selecting constructors with non-recursive arguments for smaller size.
Also avoid infinite recursion for recursive types by selecting constructors with non-recursive arguments for smaller size.