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