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 [] (Var 0)),Func ("Global","writeGlobal") 2 Public (FuncType (TCons ("Global","Global") [TVar 0]) (FuncType (TVar 0) (TCons ("Prelude","IO") [TCons ("Prelude","()") []]))) (Rule [] (Var 0))] []