A second, and more successful attempt to use static type checking in a real Python project