Maybe this is not so important, but type information is not erased at compile time. So class files have type information.