Haskell quickchecl like library that can be used with C unit test frameworks