type ConcreteFeedback<'a, S> = CombinedFeedback<MapFeedback<DifferentIsNovel, HitcountsMapObserver<StdMapObserver<'a, u8, false>>, MaxReducer, S, u8>, TimeFeedback, LogicEagerOr, S>;