Because type annotations are medium to high value documentation for your users. Because stating the type of something important can expose design issues (e.g.

Because type annotations are medium to high value documentation for your users. Because stating the type of something important can expose design issues (e.g. "wait a minute, it isn't always a X! in case Y it can be a Z! Forbid or support?") before they become a serious problem.