Type classes first appeared in the Haskell programming language.
capable sheet living

The sequential subset of Erlang supports eager evaluation, single assignment, and dynamic typing. The Galactic Empire is nearing completion of the Death Star, a space station with the power to destroy entire planets. Haskell features a type system with type inference and lazy evaluation. Its main implementation is the Glasgow Haskell Compiler. I don't even care.