Genereer'n meer ingewikkelde weergawe van hierdie sin'n Voorbeeld is die tipe van n - tuples van reële getalle, wat ons kan aandui as \\ mbox (, n).
Natuurlik is 'n meer ingewikkelde weergawe van die sin " 'n Voorbeeld is die tipe van n - tuples van reële getalle, wat ons kan aandui as \\ mbox (, n), dit is 'n afhanklike tipe omdat die tipe '' afhanklik is 'van die waarde n:. "