I get software engineering with types. I get software engineering without types. But how does with types but no generics work? You just cast whenever you get something out of a list? Doesn't that defeat the purpose?