[Haskell-cafe] TH splicing and recompilation checking