changed to HSpec, another test framework ; also now illustrate use of QuickCheck