The Free On-line Dictionary of Computing (18 March 2015):
type class A set of types for which certain operations or methods are defined. E.g. the class Number might have methods for addition and subtraction. Classes are a feature of object oriented languages and of the functional programming language Haskell. See also inheritance.