admit enum<Dynamic> as base type in unify_min