Type annotations for specifying, validating, and serializing arrays with arbitrary backends in Pydantic (and beyond)
