The `Traced (Path v)` constraint should not be necessary.