It's a shame those didn't get merged, I think we should resurrect it, they look like great changes https://github.com/dotnet/fsharp/pull/5360 https://github.com/dotnet/fsharp/pull/5307 https://github.com/dotnet/fsharp/pull/5278 https://github.com/dotnet/fsharp/pull/5112 Going to be working on those past .NET8 release (November+)