Using Arrow type class in Agda

1
2
3
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