pub type Having<Source, Predicate> = <Source as HavingDsl<Predicate>>::Output;
Represents the return type of .having(predicate)
.having(predicate)