{-# LANGUAGE Arrows #-}

foo f = proc a -> (f -< a)

bar f g = proc a ->
  ( ( (f)
        ( g
        )
    )
      -<
        ( ( ( ( ( ( g
                      a
                  )
                )
              )
            )
          )
        )
  )