module PackedStringBuiltin
(TypeClass "PackedString", TyCls (Ty [] []))