namespace Nadeko.Econ; public sealed record class RegularCard(RegularSuit Suit, RegularValue Value) : NewCard(Suit, Value);