Come creare un pacchetto non TH dal codice generato usando Template Haskell?

Question

Sto facendo un piccolo pacchetto che definisce wrapper per le tuple e aggiunge casi loro forma, come

newtype Tuple2 a = Tuple2 { untuple2 :: (a, a) } 
    deriving (...) 

tuple2 :: a -> a -> Tuple2 a 
tuple2 = ... 

instance Traversable Tuple2 where ... 
instance Foldable Tuple2 where ... 
instance Functor Tuple2 where ... 
instance Applicative Tuple2 where ... 

Questo ripete 2-15, in modo che appaia come un lavoro di Template Haskell.

Il codice generato è sempre compatibile con Haskell 98, quindi mi piacerebbe che anche il risultato finale fosse un pacchetto Haskell 98 compatibile. È possibile generare un pezzo di codice usando Template Haskell e creare un pacchetto che non usi TH stesso? (preferirei un modo automatico, se possibile.)

Answer 1

Ci sono strumenti per esso:

• EvilSplicer, scritto da Joey Hess prima di scoprire
• zeroth, che non sembra essere in lo sviluppo attivo più.

Disclaimer: Non ho provato nessuno di questi me stesso.

Answer 2

È sempre possibile scrivere semplicemente un programma Haskell che emette il codice sorgente Haskell come un normale file di testo. Puoi quindi compilarlo come qualsiasi altro file.

Quello che non ti dà, ovviamente:

• controllo della sintassi. (Ad esempio, il codice generato potrebbe contenere errori di sintassi.)
• La possibilità di ispezionare codice scritto a mano già compilato.
• La possibilità di utilizzare altre funzioni GHC come l'inferenza di tipo.