Randomizing inputs is not "unit testing". Unit testing is deterministic. Similarly, type checking does not eliminate the need for unit testing. What worries m

Randomizing inputs is not "unit testing". Unit testing is deterministic. Similarly, type checking does not eliminate the need for unit testing. What worries me is that between type checking and thinking QuickCheck is some kind of magical logic checker (it is not), Haskell people will generally be more discouraged from writing good, valid unit tests, vs. for example Ruby people. We don't want this endgame.