Well, it sounds like what you're looking for is property based testing. You can setup something like QuickCheck to run at compilation.