Nick Smallbone

HugeLists.hs doesn't work properly

2

Doesn't print signature/doesn't seem to generate any laws?!

Heaps.hs doesn't generate nice laws

1

`examples/Heaps.hs` generated nicer laws in QS1. The problem is partial functions. In QS1 we would get e.g. `findMin h = head (toList h)`, but in QS2 since both terms are...

``` > quickCheck (forAllShrink arbitrary (const discard) odd) *** Failed! (after 1 test): 0 ``` Probably a `discard` in the shrink list should count as the property passing?