Yes, but instances require the user to provide shrinking while Hypothesis does not: shrinking is derived automatically.