plangs!

Type System

Nominal

Compatibility between types is determined by explicit declarations or names, rather than structure.