Embedded unit-tested examples in source code

If we can get Template Haskell working, we should add a TH-based unit test system that can be embedded into the code. Though, this might be complicated to do with staging restrictions.

Iniziate verificando se Template Haskell può supportare test unitari incorporati nel codice sorgente sotto i vincoli di staging di GHC. Determinate il design praticabile e come verrebbero individuati ed eseguiti gli esempi incorporati; il lavoro sarà completo solo quando sarà stato stabilito un approccio di testing basato su TH funzionante.

Scritto dal modello di indicizzazione a partire dal testo della issue.