The Next Generation Of
Typing