RecursionFallback

Typeclass that allows to provide a "fallback" for recursive data structures.

If an instance of this is in scope, derived Arbitrary-instances for sum types will use the provided Gen once recursion depth reaches the configured scalacheck size.

Thus, the provided Gen should return a non-recursive subtype of the sum type (e.g. the "leaf" of a recursive tree).