Adjust to latest discussion at https://github.com/fsharp/FSharpLangDesign/pull/2