main = writeFile "/tmp/foo.txt" aaa aaa = "BBB" ++ "CCC"