This paper looks for compactness results in classes that omit a set of unary types \Gamma by introducing a suitable ultraproduct (called the \Gamma-ultraproduct). It discusses examples when the \Gamma-ultraproduct is poorly behaved, sufficient conditions for good behavior, and examples of these conditions (with an extended look at torsion modules over PIDs). See also “Coheir in Averageable Classes” below.