It can automate a lot of the tediousness for static typing, too