ように書くこともできます。型の式であるとしましょう。型のタプルであることになります。多くの要素を持つタプルとタプル型を作ることもできます。そのタプルとそのタプル型は持っている要素が同じ数でなければなりません。個の要素を持っていたと想像してみましょう。個の要素の値によって構成されているタプルであることになります。範囲を取る単なるレコードです。ような式を作ることができます。タプルの式である必要はないことに注意してください。名前や関数適用であってもかまいません。2番目の値に評価されることになります。このような式は一般化できます。そのタプルの3つの要素全てに3つの名前を束縛しています。いうタプル型が割り振られることに注意してください。タプルの要素を選択する他の方法には、次の例に示すパターンマッチがあります。3要素のタプルにマッチするパターンであることに注意してください。その他のパターンマッチについては別の章で説明します。ここまで紹介してきたタプルはしばしばフラットタプル、ネイティブタプル、アンボックス化タプルなどと呼ばれます。別の種類のタプルをサポートしており、それはボックス化タプルと呼ばれています。ボックス化タプルは本質的に、フラットタプルが配置されたヒープを指すポインタです。