That's because some of the cost you pay by changing the way you think so that it doesn't even occur to you to write programs that the type system won't like.