So far as I can tell, the semantics are identical. I believe we ought to use a popular, existing type rather than inventing our own type, if we can. https://numpy.org/devdocs/reference/typing.html