All Vec have a Grp[Relabeling], with the option of a GrpLazyPartition whose chain is computed on demand.