直後から任意回数続けることができます。型文脈と値文脈ではパス要素にジェネリクスパラメーターを付与できます。意味的な扱いは後述しますが、以下のような規則があります。いう特殊なジェネリクスパラメーター指定も利用可能。式文脈の区別は難しくないですが、少しわかりづらいケースを書いておきます。ようになるジェネリクスパラメーターを実際に処理するのは型推論・型検査時なので、以降はジェネリクスパラメーターには触れません。これはさらに以下の2種類に分けられます。