[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Include CoArbitrary instances



We can only get Arbitrary functions if we have a CoArbitrary instances
for their arguments. We need to add a `mkIfCxt.... ''CoArbitrary` line
to ensure this will be picked up by the instance resolution of ifCxt.