;; also known as <*> or ap (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))))