Реализован ли аппликативный ввод-вывод на основе функций из Monad IO?

В «Изучите Haskell для большого блага!» Автор утверждает, что экземпляр Applicative IO реализован следующим образом:

instance Applicative IO where
    pure = return
    a <*> b = do
        f <- a
        x <- b
        return (f x)

Я могу ошибаться, но кажется, что оба возвращают и do -специфичные конструкции ( некоторые засахаренные связывания (>> =) ) происходят от Monad IO . Предполагая, что это правильно, мой настоящий вопрос:

Почему реализация аппликативного ввода-вывода зависит от функций / комбинаторов монадного ввода-вывода ? более мощная концепция, чем Monad ?