I was surprised that a Hoogle search for: (a -> b) -> (a -> c) -> a -> (b, c) No results found Didn't find this: (&&&)http://hackage.haskell.org/packages/archive/base/latest/doc/html/Control-Arr... :: Arrow a => a b c -> a b c' -> a b (c, c')http://hackage.haskell.org/packages/archive/base/latest/doc/html/Control-Arr... 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.