module Data.WordBuiltin
(TypeClass "Word", TyCls (Ty [] []))
(TypeClass "Word8", TyCls (Ty [] []))
(TypeClass "Word16", TyCls (Ty [] []))
(TypeClass "Word32", TyCls (Ty [] []))
(TypeClass "Word64", TyCls (Ty [] []))