Почему экземпляр списка Applicative не выполняет взаимно однозначное приложение?

Я читал о Applicative в Haskell от Hutton's Programming in Haskell. Чтобы лучше понять это, я придумал следующее определение для Applicative для списков:

-- Named as pure' and "app" to avoid confusion with builtin versions 
class Applicative' f where
 pure' :: a -> f a
 app :: f (a->b) -> f a -> f b

instance Applicative' [] where
 pure' x = [x]
 app _ [] = []
 app [g] (x:xs) = [(g x)] ++ app [g] xs
 app (g:gs) (x:xs) = [(g x)] ++ app gs xs

-- fmap functions could be defined as:
fmap1' :: (Applicative' f)=>(a->b) -> f a -> f b
fmap1' g x = app (pure' g) x

fmap2' :: (Applicative' f)=>(a->b->c) -> f a -> f b -> f c
fmap2' g x y = app (app (pure' g) x) y


fmap3' :: (Applicative' f)=>(a->b->c->d) -> f a -> f b -> f c -> f d
fmap3' g x y z = app (app (app (pure' g) x) y) z

Пример использования fmap2' выглядит следующим образом:

Ok, one module loaded.
*Main> g = \x y -> x*y
*Main> arr1 = [1,2,3]
*Main> arr2 = [4,5,6]
*Main> fmap2' g arr1 arr2
[4,10,18]
*Main>

Но стандартное определение Applicative функции <*> для списка определяется так:

gs <*> xs = [g x | g <- gs, x <- xs]

Таким образом, в результате

pure (*) <*> [1,2], [3,4]
[3,4,6,8]

Мне было интересно, почему он определяется как for all arr1, for all arr2, apply function, а не take corresponding elements arr1, arr2 apply function. Я предполагаю, что первое определение, вероятно, более полезно? Есть ли какие-то конкретные причины для такого выбора?