module IORefBuiltin
(TypeClass "IORef", TyCls (Ty [] []))