1{-# LANGUAGE Arrows #-}
2
3foo f = proc a -> if a  then  f-<0  else  f-<1
4
5bar f g = proc a ->
6    if
7        f a
8    then
9          f
10        . g -< a
11    else
12        g
13        -<
14        b
15