pub fn cast_timestamp_to_date<'a>(
    a: CheckedTimestamp<NaiveDateTime>
) -> Result<Date, EvalError>