pub fn cast_timestamp_to_time<'a>(
    a: CheckedTimestamp<NaiveDateTime>
) -> NaiveTime