GHCi: scripting and multiline input