haskell - ((->) a) 的 Applicative 实例如何工作？

Question

在 GHC.Base 中给出:

instance Applicative ((->) a) where
    pure = const
    (<*>) f g x = f x (g x)
    liftA2 q f g x = q (f x) (g x)

怎么会有(<*>)的定义呢？有三个参数？我以为只需要两个。我该如何解析？

Answer 1

f <*> g是一个函数。定义

(<*>) f g x = f x (g x)

和定义一样

(<*>) f g = \x -> f x (g x)