Scrap all that QuickCheck stuff, it was holding me back