>>370
Genに関してはTest.QuickCheck.Gen.unGen使えば取り出せるよ
一般的にいえばMonad mの文脈でMonad nの値を使うには
nからmへのMonadTransformerがあればliftを使って取り出す(持ち上げる)ことができる