https://zyxin.xyz/blog/2018-12/cython-types/