Use SequenceEqual in field initializer