{-# 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
