(Testable prop) => Testable (Gen prop)

[DavidHarrison]

Haskell's QuickCheck defines the instance

(Testable prop) => Testable (Gen prop)

When trying to define it for PureScript's QuickCheck, after expanding all of the type synonyms I get

(Testable prop) => Testable (StateT Identity {newSeed :: Seed, size :: Int} prop)

which gives the error:

Type class instance head is invalid due to use of type

  ( size :: Int
  , newSeed :: Seed
  )

All types appearing in instance declarations must be of the form T a_1 .. a_n, where each type a_i is of the same form.

Have there been any thoughts on defining the instance?

[paf31]

👍 I'd like to have this defined too. Maybe we need to change Gen into a newtype.