fn add_timestamp_interval<'a>( a: CheckedTimestamp<NaiveDateTime>, b: Interval, ) -> Result<Datum<'a>, EvalError>