:: (a -> b -> c) -> Maybe a -> Maybe b -> Maybe c package:semialign

Combines two structures by taking the intersection of their shapes and combining the elements with the given function.