I think these should be separate tests (with `traverse` maybe a helper function on the test case).