Avoiding linking final executable to TH

Hello

Are there currently any plans to avoid linking the final executable with
TH? As far as I understand currently the situation is as follows:

Module M uses TH code defined in MTH.
Module MTH imports TH modules and thus needs to be linked with template-haskell.

The simplest way to deal with this could be to use a special
compile-time import construct between M and MTH - so that MTH would 
not need to be linked with M (and thus template-haskell would not be
needed either). 

Are there any plans regarding something like this or an another solution?

- Einar Karttunen