Also: Platform includes QuickCheck which has a conditional API for TemplateHaskell support. I wouldn't be surprised if there are more examples like that.