module RandomBuiltin
(TypeClass "StdGen", TyCls (Ty [] []))