[Haskell-cafe] Takusen and QuickCheck