High king — king who is above other kings; type of monarch