QuickCheck の orderedList 関数は、説明には
与えられた長さの順序リスト生成器を生成するようなことが書かれていますが、
vector 関数のような引数は無いですよね。

どうやって長さを指定するのでしょうか。
resize 関数を作用させるしかないですか？