python ellipsis type hint