Type inference - Eli Bendersky’s website https://eli.thegreenplace.net/2018/type-inference/