[Haskell-cafe] is there a way to run tests at compile time using TH

I'd like to have code not compile if it doesn't pass the tests. Is there a way to use TH to generate compiler errors if the tests don't pass? -Alex-