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