adam@1584: fun g n = n + 1
adam@1584: 
adam@1584: fun f x = x