Concept

Nominal type system