Diese Strukturen können natürlich beliebig tief geschachtelt werden, also ARRAYs in RECORDs, RECORDs in ARRAYs, und so fort. Sie können natürlich nicht nur als Konstanten deklariert werden, sondern auch in Ausdrücken oder Funktionsaufrufen auftreten.
Auf typisierte Konstanten darf im Programm lesend zugegriffen werden, auch Elementweise.
![\begin{example}
Beispiele:
\begin{verbatim}TYPE
Str16 = ARRAY[0..16] OF CHAR...
...D 16];
Proc(3, Rec{x:5, y:''Z'', str: ''Welcome''});\end{verbatim}\end{example}](img216.png)