I was surprised that a Hoogle search for:

      (a -> b) -> (a -> c) -> a -> (b, c)

      No results found

Didn’t find this:

(&&&) :: Arrow a => a b c -> a b c' -> a b (c, c')

Since functions are arrows; yes?

I suppose I can see why it might not, but it seems that it would be nice if it did.