Een voorbeeld is het type van n - tupels van reële getallen, die we kunnen aanduiden als \\ mbox (, n).
Natuurlijk is een meer complexe versie van de zin: "Een voorbeeld is het type van n - tupels van reële getallen, die we kunnen aanduiden als \\ mbox (, n), dit is een afhankelijk type omdat het type '' afhankelijk is 'van de waarde n:. "