Caveat emptor: these individual card pages are work in progress, and their content is in no way final!
Components can be identified, explicitly or automatically, to belong to a particular type. Among other things, the type determines applicability and compatibility of components with one another. In complex scenarios (like a monadic bind) hard to understand components can only fit together in one possible way. Type equivalence rules can be based on names, structure, scopes, etc.
The original design card was about making the physical form of the designed object compatible with other parts of the system only in one particular way, such as making bevelled corners on SIM cards, flash cards and connectors that make sure they cannot be inserted the wrong way around The type theory plays a similar role in software languages, making program/model components fit only when they conform to the type-imposed expectations.