Template Haskell良さそうね。
型や宣言を書き換えられない([d||]の中に$()が書けない)のがアレだけど。