{-# LANGUAGE Arrows #-}

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

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