{-# LANGUAGE Arrows #-}

foo = proc a -> \f b -> a -< f b -- Foo

bar =
  proc x -> \f g h ->
    \() ->
      \(Left (x, y)) -> -- Tuple value
        f (g (h x)) -< y