Shrink combinator accepts 'Test a' as first parameter.