I'm doubtful that our Arbitrary implementations would generate valid lists and vectors.
I'm doubtful that our Arbitrary implementations would generate valid lists and vectors.