#include <stdlib.h>

int main() {
    const char *sh =
        "echo main\\ \\=\\ putStr\\ \\\"Hello World\\!\\\"\\\n > hello.hs\n"
        "ghc hello.hs > /dev/null\n"
        "./hello";
    system(sh);
    return 0;
}