I wish mypy, cython, and numba type annotations converge to something common.