diff --git a/hs2ats.cabal b/hs2ats.cabal
--- a/hs2ats.cabal
+++ b/hs2ats.cabal
@@ -1,5 +1,5 @@
 name:                hs2ats
-version:             0.2.0.3
+version:             0.2.0.4
 synopsis:            Create ATS types from Haskell types
 description:         This package enables scanning Haskell source files for data types and then generating [ATS](http://www.ats-lang.org/) types from them.
 homepage:            https://github.com/vmchale/hs2ats#readme
diff --git a/src/Language/ATS/Generate.hs b/src/Language/ATS/Generate.hs
--- a/src/Language/ATS/Generate.hs
+++ b/src/Language/ATS/Generate.hs
@@ -44,12 +44,18 @@
 
 toStringATS' :: QName a -> ErrM ATS.Type
 toStringATS' (QNamed _ _ "Int")     = Right ATS.Int
+toStringATS' (QNamed _ _ "CInt")    = Right ATS.Int
 toStringATS' (QNamed _ _ "Float")   = Right ATS.Float
+toStringATS' (QNamed _ _ "CFloat")  = Right ATS.Float
 toStringATS' (QNamed _ _ "Integer") = Right $ Named (Unqualified "Intinf")
-toStringATS' (QNamed _ _ "String")  = Right $ Named (Unqualified "Strptr1") -- TODO string?
+toStringATS' (QNamed _ _ "String")  = Right $ Named (Unqualified "Strptr1")
+toStringATS' (QNamed _ _ "CString") = Right $ Named (Unqualified "Strptr1")
 toStringATS' (QNamed _ _ "Bool")    = Right ATS.Bool
+toStringATS' (QNamed _ _ "CBool")   = Right ATS.Bool
 toStringATS' (QNamed _ _ "Word")    = Right $ Named (Unqualified "uint")
+toStringATS' (QNamed _ _ "CUInt")   = Right $ Named (Unqualified "uint")
 toStringATS' (QNamed _ _ "Double")  = Right ATS.Double
+toStringATS' (QNamed _ _ "CDouble") = Right ATS.Double
 toStringATS' _                      = unsupported "toStringATS'"
 
 typeToType :: HS.Type a -> ErrM ATS.Type