Typing can be seen as just a way of creating automatically some unit tests you probably haven't bothered creating.

Types are useful when they don't get in the way. As are method contracts.