example : ∀ {A B C D E F} → Arrow A → (B → C × D) → (A C E) → A D F → A B (E × F)
example arrow f g h = arr f >>> (g *** h)
  where open Arrow arrow