[Template-haskell] 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