Source : Free On-Line Dictionary of Computing

type class
     
        A set of types for which certain operations or {method}s are
        defined.  E.g. the class Number might have methods for addition
        and subtraction.  {Class}es are a feature of {object oriented
        language}s and of the {functional programming} language
        {Haskell}.  See also {inheritance}.