f : Int -> Int f x = z 1 + 1 where z : Int -> Int z y = y