{-# LANGUAGE Arrows #-}

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

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