Python typing or