id x = x f = id main = f 1