A programming language structure wherein the ... that bind processing functions to the data. These user-defined data types are called "classes," and one instance of a class is an "object." ...

The rest of the program can just use it with confidence. This combination of records and sealed types is an example of what are called algebraic data types (ADTs). Records are a form of "product ...