F# syntax update