Hello hspec, quickcheck