alvare/quickcheck-examples not found