Structural types (i.e. collection) are after extensible scalar types.