tests passing but not quickCheck