Suggestions: Return if test has succeded or failed (possibly why it has failed)

[dschrempf]

I use HSpec as a testing framework and it is difficult to know during automatic tests when a law check has failed. I suggest that the function lawsCheck gets a type:

lawsCheck :: Laws -> IO Bool

or something more elaborate if there is need.

EDIT:
For what it's worth, I am using the following function now:

lawsCheckSpec :: Laws -> Spec
lawsCheckSpec (Laws className properties) =
  parallel $
  describe className $
    mapM_ (\(name, p) -> it name (property p)) properties