module TimeBuiltin
(TypeClass "ClockTime", TyCls (Ty [] []))