> All in all, it felt more like a loose collection of unfinished PhD theses than an actual programming language.

Yeah, to me Haskell is the experimental forefront of programming language theory and the most developed concepts get incorporated into the actual programming languages over time.