Record types for .NET