Because natural language's type hierarchy is not that sound as we programmers would like it to be.