The QC 1 v 2 errors aside, they seem to be quite bitrotten eg. for test_Selective.hs test_Selective.hs:18:4: `coarbitrary' is not a (visible) method of class `Arbitrary' test_Selective.hs:20:20: Not in scope: type constructor or class `Selection' test_Selective.hs:25:29: Not in scope: data constructor `Sel' test_Selective.hs:26:4: `coarbitrary' is not a (visible) method of class `Arbitrary' test_Selective.hs:34:26: Not in scope: `select' test_Selective.hs:34:48: Not in scope: `nMaster' test_Selective.hs:34:63: Not in scope: `nRest' test_Selective.hs:35:17: Not in scope: `update' test_Selective.hs:38:50: Not in scope: `update' test_Selective.hs:39:17: Not in scope: `update' test_Selective.hs:43:10: Not in scope: `nMaster' test_Selective.hs:43:48: Not in scope: `nMaster' test_Selective.hs:43:74: Not in scope: `select' test_Selective.hs:46:65: Not in scope: `select' test_Selective.hs:47:17: Not in scope: `update' test_Selective.hs:52:26: Not in scope: `select' test_Selective.hs:58:27: Not in scope: `select' test_Selective.hs:62:40: Not in scope: `nMaster' test_Selective.hs:62:49: Not in scope: `update' test_Selective.hs:63:43: Not in scope: `nMaster' test_Selective.hs:63:59: Not in scope: `start' test_Selective.hs:64:17: Not in scope: `update' test_Selective.hs:65:40: Not in scope: `nRest' test_Selective.hs:65:47: Not in scope: `update' test_Selective.hs:70:16: Not in scope: `update' test_Selective.hs:73:15: Not in scope: `update' test_Selective.hs:74:15: Not in scope: `select' test_Selective.hs:78:16: Not in scope: `update' test_Selective.hs:81:15: Not in scope: `update' test_Selective.hs:82:15: Not in scope: `select' I've pushed 1 patches updating module imports and aavogt did another, but I can't seem to get ghci to load the right QuickCheck version so I'm punting on fixing any other possible errors. -- gwern