Java is really not the greatest example here. In fact, the source article here is basically saying as much by calling into question some of the Java conventions

Java is really not the greatest example here. In fact, the source article here is basically saying as much by calling into question some of the Java conventions. I think you'll find in a language like Haskell that a lot more information can be embedded in types than in something like Java.