The arguments can be primitive data types or compound data types. Atoms are used within a program to denote distinguished values. It is also a garbage-collected runtime system. Type classes first appeared in the Haskell programming language. Initially composing light-hearted and irreverent works, he also wrote serious, sombre and religious pieces beginning in the 1930s.