I added psc-package description of dependencies and added a build script so you can replicate. It should be working now. I don't know why you had Gen as the result of the step function – I can’t think of a reason to do that. Quickcheck is for generating test values, not for use in your main application.