{-# LANGUAGE Arrows #-}

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

bar1 f g x y = proc _ -> (f -< x)&&&(g -< y)

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

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