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