Constant MISO_MAIN 

pub const MISO_MAIN: &str = "module Main where\n\nimport Lib\n\nmain :: IO ()\nmain = exec\n";