let twice f x = f (f x) in twice twice inc