fun f ("abc", true, x) = x + 1;