QuickCheck で要素が自然数のリストをテストデータとして生成したいのだけど、
これは生成器を自作しないとできない?
それとも、Test.QuickCheck モジュール内の関数を組み合わせて作れる?