many-types