<prompt> Genereern meer ingewikkelde weergawe van hierdie sinn Voorbeeld is die tipe van n - tuples van reële getalle, wat ons kan aandui as mbox , n.  <response>: 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:. 