fn add_timestamplike_interval<'a, T>(
    a: CheckedTimestamp<T>,
    b: Interval
) -> Result<Datum<'a>, EvalError>where
    T: TimestampLike,