Existe alguna biblioteca en hackage que pueda analizar el código haskell y verificar si es un código válido o no?

Estoy dispuesto a jugar un poco con un modelo evolutivo y quiero verificar si las cadenas de código producidas se compilarán sin tener que escribirlas en el disco y ejecutar el compilador.

Idealmente sería bueno poder ejecutar el código en las cadenas también, pero solo verificar la validez del código está bien.

Si conoce las bibliotecas de analizadores (en haskell) que comprueban otros lenguajes (lisp, C, ...) también sería bueno.