;; also known as map, lift (bind-func fmap:[Option{!b}*,[!b,!a]*,Option{!a}*]* (lambda (f F) (Some$ F (x) (Some (f x)) (None))))