But there has been continual improvement over that time, both in the ecosystem, and in the language (like a syntax for generics).

And yet you still cannot write even moderately complex type expressions without severe pain.