Checks if T has Arbitrary template with generate, shrink and specialCases functions.
See Implementation
Checks if T has Arbitrary template with generate, shrink and specialCases functions.