Remove some now-irrelevant comments
Relax dep to allow QuickCheck 2.6