no = quickCheck ((\h -> cySucc h == succ h) :: Hygiene -> Bool)