public record Time(ushort Minutes, byte Seconds, DateTime When) {}