What are Record Types?
Record Types are a popular feature of F#
[https://docs.microsoft.com/en-us/dotnet/fsharp/language-reference/records],
also commonly found in other functional languages, that have recently been
introduced to C# in version 9.0
[https://devblogs.microsoft.com/dotnet/c-9-0-on-the-record/] (released alongside
.Net 5).
On