import "Prelude"

foo :: Integer -> <Proc> (Integer -> <Proc> ())
foo i = do
    print i
    \j -> print j

main = foo 3 4
--
3
4
()