Oh yeah, types need to express everything people actually want to do or they become a straitjacket. In the late 1990s we had to find cumbersome workarounds for

Oh yeah, types need to express everything people actually want to do or they become a straitjacket. In the late 1990s we had to find cumbersome workarounds for seemingly-valid templates that would crash Borland C++. Today Java’s type system is … not great, but it was a lot worse before generics in 2004.