;; also known as <*> or ap
(bind-func apply:[ADList{!b}*,ADList{[!b,!a]*}*,ADList{!a}*]*
(lambda (F1 F2)
(ADCons$ F1 (f fs)
(ADCons$ F2 (x xs)
(ADCons (f x) (apply fs xs))
(ADNil))
(ADNil))))