Haskell QuickCheck2, использующий ByteString?

Question

В книгах RWH сказано, что для получения поддержки ByteString мне нужно добавить:

instance Arbitrary B.ByteString where
    arbitrary   = fmap B.pack arbitrary
    coarbitrary = coarbitrary . B.unpack

Но мой GHC 7.2 с QuickCheck 2.4.1.1 говорит мне:

`coarbitrary' is not a (visible) method of class `Arbitrary'

Есть указатели?

Answer 1

coarbitrary перешел на свой собственный класс типов CoAbritary в QC 2.0, поэтому просто удалите уравнение для coarbitrary.

Также см. Последнюю документацию .