{-# LANGUAGE Arrows #-}

foo f = proc a -> let b = a in f -< b

bar f g = proc a ->
    let
      h
        = f
        . g a
      j = g
          .
          h
    in
      id -< (h, j)