parameterize the compiler over the type of headers
wrap call to quickcheck in TEST, so that errors are properly counted