Working with Shimura varieties, I have been convinced to call them (or the families giving rise to them especially in $A_{g}$) somehow the "maximal" families. The motivation of this, has been for example the following results:

Consider a subvariety $S$ of $A_{g}$ over which there exists a variation of Hodge structures $\mathcal{V}$ (One can equip $A_{g}$ with a level structure $m$ for $m\geq 3$)

1) The (generic) monodromy group $Mon^{0}$ is a normal subgroup of $MT^{der}$, the generic Mumford-Tate group of $\mathcal{V}$. If $S$ is a Shimura subvariety, by a result of Andre, the monodromy group attains it's maximal bound, i.e. $Mon^{0}=MT^{der}$.

2) Viehweg-Zuo results on Arakelov equalities for Shimura curves: If $S$ is a Shimura curve in $A_{g}$, then $S$ attains the maximal bound in Arakelov inequality.

My question is: Are there other results that support this interpretation of Shimura families as the maximal ones (in some particular sense of $"maximality"$ as above)?