1{-# LANGUAGE Arrows #-}
2module ArrowBrackets where
3
4foo = proc (x, y) -> (| f (g -< x) |) y
5
6bar = proc (x, y) -> do
7  z <- (| f (g -< x) |) y
8  (| f (h -< z) |) y
9