;; also known as <*> or ap (bind-func apply:[Option{!b}*,Option{[!b,!a]*}*,Option{!a}*]* (lambda (F1 F2) (Some$ F1 (f) (Some$ F2 (x) (Some (f x)) (None)) (None))))