This paper computes the supremum of the number of types of infinite length over models of a fixed size from the supremum for the number of one types. No such computation is possible for nonalgebraic types, but we introduce a generalization (strongly separative types) that admits an upper bound.