Care to give some examples? Some examples which from my point of view seem pretty clear cut: Laziness and purity fall squarely under "language specification".

Care to give some examples? Some examples which from my point of view seem pretty clear cut: Laziness and purity fall squarely under "language specification". There's no way of seeing them as a problem with libraries or community. 'I think a lot of the Haskell community is obsessed with mathematical "cuteness", which basically they take to mean "infix-operator-heavy" notation.' is a problem of community (and arguably language specification), certainly not of tooling or infrastructure. "String should not be [Char]" is a problem with libraries (and arguably specification). Certainly not community or tooling.