s = (<*>)用于((->) r)Applicative示例。

虽然它看起来不像它在第一，ap是S组合子（和join是组合子你真正的追求）。

也可以使用(=<<), (>>=)。
它们被收录在《前奏曲》中

instance Monad ((->) r) where  
    return = const
    f >>= k = \ r -> k (f r) r

字符串

对我来说，只有在写出如下类型时才能理解：
Wiki notation of the S combinator是

Sxyz = xz(yz)

字符串
假设x是一个有两个参数的函数，y是一个有一个参数的函数，z是一个值。值z被传递到y;结果和z一起被传递到x。
<*>的定义是

(<*>) :: f (a -> b) -> f a -> f b

型
其中f是函数函子((->) r)，它只是常用函数类型表示法r -> ..的前缀表示法，因此只需扩展类型结果（为了简单起见，隐藏了一些->箭头），

(<*>) :: f (a -> b)  ->  f a  ->  f b
          f (a -> b)      f a      f b
         r->(a -> b)     r->a     r->b
         r-> a -> b      r->a     r->b
         ^^^^^^^^^^      ^^^^     ^
         x (2args)       y (1arg) z (value)

型
与S组合子一样，值z（对应于r）被传递给y（对应于r -> a）;该结果（对应于a）与z一起作为第一个参数传递给x（对应于r -> a -> b）。最终结果对应于b。