It's probably a mistake to think of Java's classes as being types. They can types, but most of these "classes with funny names" are more often than not just a

It's probably a mistake to think of Java's classes as being types. They can types, but most of these "classes with funny names" are more often than not just a logical grouping of functions. It's probably more informative to view them as a bundle of parametrized functions, than as a record of data.