pub fn cast_timestamp_tz_to_string<'a>(
    a: CheckedTimestamp<DateTime<Utc>>
) -> String