{-# LANGUAGE Arrows #-}

foo0 f g x y = proc _ -> (| f (g -< (x, y)) |)

foo1 f g h x =
  proc (y, z) ->
    (|   test (h f.(h g)  -<  (y x).y z)((h g)  .  h f-<y z  .  (y x))   |)

foo2 f g h x =
  proc (y, z) -> (|
    test ( h f
             . h g
             -<
           y x
             . y z
         )
         ( h g
             . h f
             -<
           y z
             . y x)
  |)

bar0 f g x y = proc _ -> f -< x&&&g -< y

bar1 f g h x =
  proc (y, z) ->
    h f.(h g)  -<  (y x).y z ||| (h g)  .  h f-<y z  .  (y x)

bar2 f g h x =
  proc (y, z) ->
    (h f.h g)
      -<  (y x).y z
  |||
    (h g  .  h f)
      -<y z  .  (y x)