## : ('a -> 'b) * ('c -> 'd) -> 'a * 'c -> 'b * 'd
An application (f ## g) (x,y) fails if f x fails or g y fails.
- (equal 1 ## I) (3,"foo"); > val it = (false, "foo") : bool * string