Nominative typing
Redirect to:
Nominal type system