ApplicativeBuilder
(a |@| b |@| c |@| d apply f1)
|@| (e |@| f |@| g |@| h apply f2)
apply f3
Haskell like Applicative Style
f3 _
`<S>` (f1 _ `<S>` a <<*>> b <<*>> c <<*>> d)
<<*>> (f2 _ `<S>` e <<*>> f <<*>> g <<*>> h)
f3 _
<!> (f1 _ <!> a <.> b <.> c <.> d)
<.> (f2 _ <!> e <.> f <.> g <.> h)