توليد نسخة أكثر تعقيد من الجملة هاذي. مثال على هذا هو نوع n- توبلات من الأعداد الحقيقية، واللي نجمو نشير إليها باسم \\ mbox (، n).
بالطبيعة، نسخة أكثر تعقيدا من الجملة هي "مثالا هو نوع n - توبلات من الأعداد الحقيقية، واللي ممكن نشير إليها باسم \\ mbox (، n) ، هذا هو نوع تابع لأن النوع '' يعتمد' على القيمة n:. "