Applicative is actually an artificial concept, much more awkward.

Anyway, making a hierarchy more consistent with mathematical tradition is a good thing.

As for usefulness, without redundant esoteric abstractions Monoid is all we need, and the abstract Monad type-class, of course (for building abstraction barriers at a type level).

The problem with Haskell is whole Himalayas of bullshit under which its clarity and principles has been buried.

Haskell became the way of "virtue" signalling for narcissistic snowflakes, second only to the Category Theory, which is, buy the way, is "empty" outside of monoidian composition and the notion of an abstract functor.