:: (Functor f, Functor g) => (a -> b -> c) -> f a -> g b -> f (g c)

Generalization of outerProduct.