main2 >>= writeFile "GEN.txt" devrait marcher. Ou alors :

do
content <- main2
writeFile "GEN.txt" content

Le premier code est assez logique si tu connais le type de '>>='.