∀ (offset : Std.Time.TimeZone.Offset) (name abbreviation : String) (isDST : Bool),
  sizeOf { offset := offset, name := name, abbreviation := abbreviation, isDST := isDST } =
    1 + sizeOf offset + sizeOf name + sizeOf abbreviation + sizeOf isDST