-- Timestamps are records, and this is a no-op
2000-01-01T12:00:00+08:00.{ time, date, timeZone }