The section "The Monad type class" in the chapter "A Fistful of Monads" (https://learnyouahaskell.github.io/a-fistful-of-monads.html#the-monad-type-class) talks about how Applicative is not a superclass of Monad. However, that is not true anymore. Additionally, fail is no longer a method of Monad.