Priorities inside a type