Ident r←[x](F⫤)y

If x is not provided, r is F y; if x is provided, r is x F y.