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