[Haskell-cafe] QuickCheck arbitrary/co-arbitrary