{-# LANGUAGE Arrows #-}

foo f g x y = (| test (f -< x) (g -< y) |)

bar f g x y = (|
    test
      (f
       -< x)
      (g
       -< y)
  |)