Types are painfully helpful

The types are working even if they irritate you. And even more of that. The more typechecking is a pain the bigger the benefits.