Should be ordered according to both number and type.