インスタンスであるような型の要素のリストである。持つような数値リテラル、つまりまたボトムだけを含む。要素であるリストの型である。型は多くの値を共通に持つわけではなく、幾つかの方法でだいたいの型の共通集合が結局はボトムの組み合わせになることがわかった。使って異なる型を格納するリストを作ったこと思い出そう。持つようなリストであるとよい。すべての要素がどんな型も取れる(かつ異なる要素は同じ型である必要はない)リストの型なのである。データ型を使ってほとんど同じ振る舞いを得たのだった。これを定義してみよう。aこれは次のようなものを意味する。