Re: [Haskell-cafe] Takusen and QuickCheck