Generere en mere kompleks version af denne sætning Et eksempel er typen af n - tupler af reelle tal, som vi kan betegne som \\ mbox (, n).
Selvfølgelig er en mere kompleks version af sætningen "Et eksempel er typen af n - tupler af reelle tal, som vi kan betegne som \\ mbox (, n), dette er en afhængig type, fordi typen '' afhænger '' af værdien n:. "