debug working, quickCheck failing