module IOBuiltin
(TypeClass "Handle", TyCls (Ty [] []))
(TypeClass "HandlePosn", TyCls (Ty [] []))