There was an example of what it means to write minimal code to pass a test with QuickCheck which illustrates pretty much exactly the stuff you quoted.