Sukurti sudėtingesnę šio sakinio versiją Pavyzdys yra tikrųjų skaičių n-tuplų tipas, kurį galime žymėti kaip \\ mbox (, n).
Žinoma, sudėtingesnė sakinio versija yra "Pavyzdys yra n - realaus skaičiaus tuplių tipas, kurį galime nurodyti kaip \\ mbox (, n), tai yra priklausomas tipas, nes tipas "priklausomas" nuo n vertės:. "