pub fn cast_timestamp_tz_to_time<'a>(
    a: CheckedTimestamp<DateTime<Utc>>
) -> NaiveTime