The title, I think, may have been a bit misleading, but... if it weren't, I may have never clicked on it, so I suppose that's alright XD.

The beef the article articulates seems to be with the implementation of Scala Cats, and doesn't appear to have much to do with FP in general. I came away with the understanding that George (the author) isn't really disillusioned with FP, but with Scala and Cats, and I don't think there's any surprise there since a lot of the people writing things for the Scala ecosystem are coming from Java and kind-of just 3/4 of the way learned FP yesterday. Don't get me wrong, I'm glad people are enthusiastic and trying to build a language capable of handling pure-FP patterns on the JVM that actually has some chance of widespread adoption in the industry, but also, I can see why someone "in the know" as far as FP goes would see the state of things in Scala and shake their head in frustration and/or disappointment.

In any case, George, if you read this, I enjoyed the article and took something valuable away from it. I'm glad you took the time to publish this.

I'm curious whether Kotlin's Arrow library suffers from any of the same things mentioned about Cats in this article?