Definition
Nominal Abstract Datatype
A nominal abstract data type is explicitly defined by an assigned name.
The use of a name implies a single point of definition where the type is introduced and where associative assertions are specified. Nominal types allow forms of abstraction that are difficult to achieve with signature alone and are treated as distinct, even if their structure is identical.