Java Generics, Generic Types, and Generic Polymorphism

The mechanism of higher-kinded polymorphism that makes that all work transparently. So the compiler will run off and say, this is how I build the bridge from what you're expecting to the actual function. It represents a hierarchy of types with another type of other type. That people who understand higher-kinds would have a lot easier time using Java generics or generics in any language because they don't have a whole mindset.