fun f = { x < 2: x ^ 2 };