NOTE: Any output from the example to
stdout is ignored. If you need to
write out for debugging, you can write to
stderr or a file handle.
import Test.Hspec.Monadic import Test.Hspec.QuickCheck main :: IO () main = hspecX $ do describe "reverse" $ do it "gives the original list, if applied twice" $ property $ \xs -> (reverse . reverse) xs == (xs :: [Int])