Esimerkkinä voidaan mainita reaalilukujen n-kertoimet, jotka voidaan merkitä nimellä \\ mbox (, n).
Tietenkin monimutkaisempi versio lauseesta on "esimerkkinä on n-realisten lukujen tuplien tyyppi, jonka voimme merkitä nimellä \\ mbox (, n), tämä on riippuvainen tyyppi, koska tyyppi'' riippuu'' arvoa n:. "