implementation of answer from http://stackoverflow.com/questions/5200462/quick-question-about-arrow-operators/5200788#5200788

ArrowOperatorQuestion.hs

module ArrowOperatorQuestion where
import Control.Arrow ((***))

f :: u -> v -> w
f _ _ = error "f" 

g :: x -> y -> z
g _ _ = error "g" 

h :: (u,x) -> (v,y) -> (w,z)
h = uncurry (***) . (f *** g)