Complex sentence: In computer science, a type class is a type system construct that supports ad-hoc polymorphism by means of constraints on type variables in parametrically polymorphic types.
Split into simpler sentences: In computer science, a type class is a type system construct that supports ad-hoc polymorphism. This is achieved by adding constraints to type variables in parametrically polymorphic types.