using System;

internal static class Program
{
    private static void Main(string[] args)
    {
        Console.WriteLine(Label(new WorkshopCode("W-17")));
    }

    internal static string Label<T>(T value) where T : ILabelled
    {
        return value.Label;
    }
}

internal interface ILabelled { string Label { get; } }
internal sealed record WorkshopCode(string Label) : ILabelled;