cap-1.0: examples/higherOrder.cap

main = f g Zero

f x = x

g x = (Succ x)