6 -- Begin Signature -------------------------------------------------
10 catchEx :: Maybe a -> a -> a
11 (><) :: (a -> b,c -> d) -> (a,c) -> (b,d)
13 -- End Signature -------------------------------------------------
15 catchEx = flip fromMaybe
16 (f,g) >< (x,y) = (f x, g y)