[Haskell-cafe] Coarbitrary (was QuickCheckM for IO testing)