Haskell - What Was the Motivation for Adding Monads?

The killer for, for higher-kinded type variables is that we could have a type class of monad. Phil Wardler's paper about comprehending monads first introduced to us the idea taken from Jenny and Moggi's work. And I can't remember the exact chronology, but it was a, and maybe it was one of those, you know, marriages made in heaven. But it was, it just fitted like a glove. It's had a profound influence on Haskell without the ability to construct over high-kindedtype variables. So that and type classes were both pretty significant innovations that happened with very little debate. They were not controversial. Same aspects of syntax were