What's the point of typing things if you have to constantly typecheck them anyway?