https://asplos.dev/wordpress/2022/04/11/static-inference-meets-deep-learning-a-hybrid-type/