Flags type T as recursive.
Flags type T as recursive. Resulting value should be marked as implicit.
Makes the generation of recursive type instances deterministic: these don't fail on
StackOverflowError, but via scalaprops's size parameter. In that case, default0 is used,
and can either decide to fail or generate fallback values.