If we for some weird reason were to put go as a modern language, than Java is some Haskell :D But jokes aside, Java’s type system can’t express HKTs, but up to

If we for some weird reason were to put go as a modern language, than Java is some Haskell :D But jokes aside, Java’s type system can’t express HKTs, but up to that point it really is surprisingly strong — there is vavr, but I have also personally followed my former “define Haskell basic data types yourself in Haskell” class quite far in it, including Lists, Eq trait, Maybe type, etc.