cleaned up but still failing quickCheck sometimes