pub type ValidSchubertClass = (ValidPartition, FitsInBox);
A Schubert class verified to fit in a Grassmannian.