Use new F#7 SRTP relaxation syntax

[edgarfgp]

For more info: https://devblogs.microsoft.com/dotnet/announcing-fsharp-7/#making-working-with-srtps-easier