fn sub_timestamp<'a>( a: CheckedTimestamp<NaiveDateTime>, b: CheckedTimestamp<NaiveDateTime>, ) -> Datum<'a>