Prog "Global" ["Prelude"] [Type ((Nothing,Nothing,"Global","Global")) Public [0] [],Type ((Nothing,Nothing,"Global","GlobalSpec")) Public [] [Cons ((Nothing,Just (TCons (Nothing,Nothing,"Global","GlobalSpec") []),"Global","Temporary")) 0 Public [],Cons ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Prelude","[]") [TCons (Nothing,Nothing,"Prelude","Char") []]) (TCons (Nothing,Nothing,"Global","GlobalSpec") [])),"Global","Persistent")) 1 Public [TCons ((Nothing,Nothing,"Prelude","[]")) [TCons ((Nothing,Nothing,"Prelude","Char")) []]]]] [Func ((Nothing,Just (FuncType (TVar 0) (FuncType (TCons (Nothing,Nothing,"Global","GlobalSpec") []) (TCons (Nothing,Nothing,"Global","Global") [TVar 0]))),"Global","global")) 2 Public (FuncType (TVar 0) (FuncType (TCons ((Nothing,Nothing,"Global","GlobalSpec")) []) (TCons ((Nothing,Nothing,"Global","Global")) [TVar 0]))) (External "Global.global"),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Global","Global") [TVar 0]) (TCons (Nothing,Nothing,"Prelude","IO") [TVar 0])),"Global","readGlobal")) 1 Public (FuncType (TCons ((Nothing,Nothing,"Global","Global")) [TVar 0]) (TCons ((Nothing,Nothing,"Prelude","IO")) [TVar 0])) (Rule [(Just (TCons (Nothing,Nothing,"Global","Global") [TVar 0]),1)] (Comb FuncCall ((Nothing,Just (FuncType (FuncType (TCons (Nothing,Nothing,"Global","Global") [TVar 0]) (TCons (Nothing,Nothing,"Prelude","IO") [TVar 0])) (FuncType (TCons (Nothing,Nothing,"Global","Global") [TVar 0]) (TCons (Nothing,Nothing,"Prelude","IO") [TVar 0]))),"Prelude","$#")) [Comb (FuncPartCall 1) ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Global","Global") [TVar 0]) (TCons (Nothing,Nothing,"Prelude","IO") [TVar 0])),"Global","prim_readGlobal")) [],Var ((Just (TCons (Nothing,Nothing,"Global","Global") [TVar 0]),1))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Global","Global") [TVar 0]) (TCons (Nothing,Nothing,"Prelude","IO") [TVar 0])),"Global","prim_readGlobal")) 1 Private (FuncType (TCons ((Nothing,Nothing,"Global","Global")) [TVar 0]) (TCons ((Nothing,Nothing,"Prelude","IO")) [TVar 0])) (External "Global.prim_readGlobal"),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Global","Global") [TVar 0]) (FuncType (TVar 0) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","()") []]))),"Global","writeGlobal")) 2 Public (FuncType (TCons ((Nothing,Nothing,"Global","Global")) [TVar 0]) (FuncType (TVar 0) (TCons ((Nothing,Nothing,"Prelude","IO")) [TCons ((Nothing,Nothing,"Prelude","()")) []]))) (Rule [(Just (TCons (Nothing,Nothing,"Global","Global") [TVar 0]),1),(Just (TVar 0),2)] (Comb FuncCall ((Nothing,Just (FuncType (FuncType (TVar 0) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","()") []])) (FuncType (TVar 0) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","()") []]))),"Prelude","$##")) [Comb FuncCall ((Nothing,Just (FuncType (FuncType (TCons (Nothing,Nothing,"Global","Global") [TVar 0]) (FuncType (TVar 0) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","()") []]))) (FuncType (TCons (Nothing,Nothing,"Global","Global") [TVar 0]) (FuncType (TVar 0) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","()") []])))),"Prelude","$#")) [Comb (FuncPartCall 2) ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Global","Global") [TVar 0]) (FuncType (TVar 0) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","()") []]))),"Global","prim_writeGlobal")) [],Var ((Just (TCons (Nothing,Nothing,"Global","Global") [TVar 0]),1))],Var ((Just (TVar 0),2))])),Func ((Nothing,Just (FuncType (TCons (Nothing,Nothing,"Global","Global") [TVar 0]) (FuncType (TVar 0) (TCons (Nothing,Nothing,"Prelude","IO") [TCons (Nothing,Nothing,"Prelude","()") []]))),"Global","prim_writeGlobal")) 2 Private (FuncType (TCons ((Nothing,Nothing,"Global","Global")) [TVar 0]) (FuncType (TVar 0) (TCons ((Nothing,Nothing,"Prelude","IO")) [TCons ((Nothing,Nothing,"Prelude","()")) []]))) (External "Global.prim_writeGlobal")] []