diff --git a/Data/Convertible/Instances.hs b/Data/Convertible/Instances.hs
--- a/Data/Convertible/Instances.hs
+++ b/Data/Convertible/Instances.hs
@@ -19,6 +19,8 @@
 Collection of ready-made 'Data.Convertible.Convertible' instances.  See
 each individual module for more docs:
 
+"Data.Convertible.Instances.C"
+
 "Data.Convertible.Instances.Map"
 
 "Data.Convertible.Instances.Num"
@@ -31,6 +33,7 @@
 module Data.Convertible.Instances(
                                  ) where
 
+import Data.Convertible.Instances.C()
 import Data.Convertible.Instances.Map()
 import Data.Convertible.Instances.Num()
 import Data.Convertible.Instances.Time()
diff --git a/Data/Convertible/Instances/C.hs b/Data/Convertible/Instances/C.hs
new file mode 100644
--- /dev/null
+++ b/Data/Convertible/Instances/C.hs
@@ -0,0 +1,1514 @@
+{- |
+   Module     : Data.Convertible.Instances.C
+   Copyright  : Copyright (C) 2009 John Goerzen
+   License    : LGPL
+
+   Maintainer : John Goerzen <jgoerzen@complete.org>
+   Stability  : provisional
+   Portability: portable
+
+Numeric instances for Convertible for C types.  See comments in
+"Data.Convertible.Instances.Num".
+
+Copyright (C) 2009 John Goerzen <jgoerzen@complete.org>
+
+All rights reserved.
+
+For license and copyright information, see the file COPYRIGHT
+-}
+module Data.Convertible.Instances.C()
+where
+
+import Data.Convertible.Base
+import Data.Convertible.Utils
+import Data.Convertible.Instances.Num()
+import Data.Int
+import Data.Word
+import Foreign.C.Types
+
+-- remainder of this file generated by utils/genCinstances.hs
+
+-- Section 1
+instance Convertible CFloat Int where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Int CFloat where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CFloat Int8 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Int8 CFloat where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CFloat Int16 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Int16 CFloat where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CFloat Int32 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Int32 CFloat where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CFloat Int64 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Int64 CFloat where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CFloat Word where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Word CFloat where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CFloat Word8 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Word8 CFloat where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CFloat Word16 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Word16 CFloat where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CFloat Word32 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Word32 CFloat where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CFloat Word64 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Word64 CFloat where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CDouble Int where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Int CDouble where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CDouble Int8 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Int8 CDouble where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CDouble Int16 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Int16 CDouble where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CDouble Int32 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Int32 CDouble where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CDouble Int64 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Int64 CDouble where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CDouble Word where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Word CDouble where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CDouble Word8 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Word8 CDouble where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CDouble Word16 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Word16 CDouble where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CDouble Word32 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Word32 CDouble where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CDouble Word64 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Word64 CDouble where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CLDouble Int where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Int CLDouble where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CLDouble Int8 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Int8 CLDouble where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CLDouble Int16 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Int16 CLDouble where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CLDouble Int32 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Int32 CLDouble where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CLDouble Int64 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Int64 CLDouble where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CLDouble Word where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Word CLDouble where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CLDouble Word8 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Word8 CLDouble where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CLDouble Word16 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Word16 CLDouble where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CLDouble Word32 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Word32 CLDouble where 
+    safeConvert = return . fromIntegral
+
+instance Convertible CLDouble Word64 where 
+    safeConvert = boundedConversion (return . truncate)
+instance Convertible Word64 CLDouble where 
+    safeConvert = return . fromIntegral
+
+-- Section 2
+instance Convertible CFloat Double where
+    safeConvert = return . realToFrac
+instance Convertible Double CFloat where
+    safeConvert = return . realToFrac
+
+instance Convertible CFloat Float where
+    safeConvert = return . realToFrac
+instance Convertible Float CFloat where
+    safeConvert = return . realToFrac
+
+instance Convertible CFloat Rational where
+    safeConvert = return . realToFrac
+instance Convertible Rational CFloat where
+    safeConvert = return . realToFrac
+
+instance Convertible CDouble Double where
+    safeConvert = return . realToFrac
+instance Convertible Double CDouble where
+    safeConvert = return . realToFrac
+
+instance Convertible CDouble Float where
+    safeConvert = return . realToFrac
+instance Convertible Float CDouble where
+    safeConvert = return . realToFrac
+
+instance Convertible CDouble Rational where
+    safeConvert = return . realToFrac
+instance Convertible Rational CDouble where
+    safeConvert = return . realToFrac
+
+instance Convertible CLDouble Double where
+    safeConvert = return . realToFrac
+instance Convertible Double CLDouble where
+    safeConvert = return . realToFrac
+
+instance Convertible CLDouble Float where
+    safeConvert = return . realToFrac
+instance Convertible Float CLDouble where
+    safeConvert = return . realToFrac
+
+instance Convertible CLDouble Rational where
+    safeConvert = return . realToFrac
+instance Convertible Rational CLDouble where
+    safeConvert = return . realToFrac
+
+-- Section 3
+instance Convertible CChar Int where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CChar Int8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int8 CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CChar Int16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int16 CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CChar Int32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int32 CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CChar Int64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int64 CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CChar Word where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CChar Word8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word8 CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CChar Word16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word16 CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CChar Word32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word32 CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CChar Word64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word64 CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar Int where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar Int8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int8 CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar Int16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int16 CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar Int32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int32 CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar Int64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int64 CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar Word where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar Word8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word8 CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar Word16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word16 CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar Word32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word32 CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar Word64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word64 CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar Int where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar Int8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int8 CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar Int16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int16 CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar Int32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int32 CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar Int64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int64 CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar Word where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar Word8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word8 CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar Word16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word16 CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar Word32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word32 CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar Word64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word64 CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort Int where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort Int8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int8 CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort Int16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int16 CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort Int32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int32 CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort Int64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int64 CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort Word where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort Word8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word8 CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort Word16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word16 CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort Word32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word32 CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort Word64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word64 CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort Int where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort Int8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int8 CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort Int16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int16 CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort Int32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int32 CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort Int64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int64 CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort Word where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort Word8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word8 CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort Word16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word16 CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort Word32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word32 CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort Word64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word64 CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt Int where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt Int8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int8 CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt Int16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int16 CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt Int32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int32 CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt Int64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int64 CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt Word where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt Word8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word8 CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt Word16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word16 CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt Word32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word32 CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt Word64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word64 CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt Int where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt Int8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int8 CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt Int16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int16 CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt Int32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int32 CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt Int64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int64 CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt Word where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt Word8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word8 CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt Word16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word16 CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt Word32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word32 CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt Word64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word64 CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong Int where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong Int8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int8 CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong Int16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int16 CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong Int32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int32 CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong Int64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int64 CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong Word where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong Word8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word8 CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong Word16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word16 CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong Word32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word32 CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong Word64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word64 CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong Int where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong Int8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int8 CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong Int16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int16 CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong Int32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int32 CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong Int64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int64 CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong Word where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong Word8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word8 CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong Word16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word16 CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong Word32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word32 CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong Word64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word64 CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize Int where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize Int8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int8 CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize Int16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int16 CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize Int32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int32 CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize Int64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int64 CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize Word where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize Word8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word8 CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize Word16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word16 CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize Word32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word32 CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize Word64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word64 CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar Int where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar Int8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int8 CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar Int16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int16 CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar Int32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int32 CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar Int64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int64 CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar Word where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar Word8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word8 CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar Word16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word16 CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar Word32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word32 CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar Word64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word64 CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong Int where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong Int8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int8 CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong Int16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int16 CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong Int32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int32 CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong Int64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int64 CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong Word where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong Word8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word8 CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong Word16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word16 CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong Word32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word32 CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong Word64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word64 CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong Int where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong Int8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int8 CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong Int16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int16 CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong Int32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int32 CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong Int64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Int64 CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong Word where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong Word8 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word8 CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong Word16 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word16 CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong Word32 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word32 CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong Word64 where
+    safeConvert = boundedConversion (return . fromIntegral)
+instance Convertible Word64 CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+-- Section 4
+instance Convertible CChar CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CChar CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CChar CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CChar CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CChar CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CChar CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CChar CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CChar CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CChar CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CChar CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CChar CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CChar CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+-- Section 5
+instance Convertible CFloat CDouble where
+    safeConvert = return . realToFrac
+
+instance Convertible CFloat CLDouble where
+    safeConvert = return . realToFrac
+
+instance Convertible CDouble CFloat where
+    safeConvert = return . realToFrac
+
+instance Convertible CDouble CLDouble where
+    safeConvert = return . realToFrac
+
+instance Convertible CLDouble CFloat where
+    safeConvert = return . realToFrac
+
+instance Convertible CLDouble CDouble where
+    safeConvert = return . realToFrac
+
+-- Section 6
+instance Convertible CFloat Integer where
+    safeConvert = return . truncate
+instance Convertible Integer CFloat where
+    safeConvert = return . fromIntegral
+
+instance Convertible CDouble Integer where
+    safeConvert = return . truncate
+instance Convertible Integer CDouble where
+    safeConvert = return . fromIntegral
+
+instance Convertible CLDouble Integer where
+    safeConvert = return . truncate
+instance Convertible Integer CLDouble where
+    safeConvert = return . fromIntegral
+
+-- Section 7
+instance Convertible CChar Integer where
+    safeConvert = return . fromIntegral
+instance Convertible Integer CChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSChar Integer where
+    safeConvert = return . fromIntegral
+instance Convertible Integer CSChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUChar Integer where
+    safeConvert = return . fromIntegral
+instance Convertible Integer CUChar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CShort Integer where
+    safeConvert = return . fromIntegral
+instance Convertible Integer CShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUShort Integer where
+    safeConvert = return . fromIntegral
+instance Convertible Integer CUShort where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CInt Integer where
+    safeConvert = return . fromIntegral
+instance Convertible Integer CInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CUInt Integer where
+    safeConvert = return . fromIntegral
+instance Convertible Integer CUInt where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLong Integer where
+    safeConvert = return . fromIntegral
+instance Convertible Integer CLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULong Integer where
+    safeConvert = return . fromIntegral
+instance Convertible Integer CULong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CSize Integer where
+    safeConvert = return . fromIntegral
+instance Convertible Integer CSize where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CWchar Integer where
+    safeConvert = return . fromIntegral
+instance Convertible Integer CWchar where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CLLong Integer where
+    safeConvert = return . fromIntegral
+instance Convertible Integer CLLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+instance Convertible CULLong Integer where
+    safeConvert = return . fromIntegral
+instance Convertible Integer CULLong where
+    safeConvert = boundedConversion (return . fromIntegral)
+
+-- Section 8o
+instance Convertible CChar Char where
+    safeConvert = boundedConversion (return . toEnum . fromIntegral)
+instance Convertible Char CChar where
+    safeConvert = boundedConversion (return . fromIntegral . fromEnum)
+
+instance Convertible CSChar Char where
+    safeConvert = boundedConversion (return . toEnum . fromIntegral)
+instance Convertible Char CSChar where
+    safeConvert = boundedConversion (return . fromIntegral . fromEnum)
+
+instance Convertible CUChar Char where
+    safeConvert = boundedConversion (return . toEnum . fromIntegral)
+instance Convertible Char CUChar where
+    safeConvert = boundedConversion (return . fromIntegral . fromEnum)
+
+instance Convertible CShort Char where
+    safeConvert = boundedConversion (return . toEnum . fromIntegral)
+instance Convertible Char CShort where
+    safeConvert = boundedConversion (return . fromIntegral . fromEnum)
+
+instance Convertible CUShort Char where
+    safeConvert = boundedConversion (return . toEnum . fromIntegral)
+instance Convertible Char CUShort where
+    safeConvert = boundedConversion (return . fromIntegral . fromEnum)
+
+instance Convertible CInt Char where
+    safeConvert = boundedConversion (return . toEnum . fromIntegral)
+instance Convertible Char CInt where
+    safeConvert = boundedConversion (return . fromIntegral . fromEnum)
+
+instance Convertible CUInt Char where
+    safeConvert = boundedConversion (return . toEnum . fromIntegral)
+instance Convertible Char CUInt where
+    safeConvert = boundedConversion (return . fromIntegral . fromEnum)
+
+instance Convertible CLong Char where
+    safeConvert = boundedConversion (return . toEnum . fromIntegral)
+instance Convertible Char CLong where
+    safeConvert = boundedConversion (return . fromIntegral . fromEnum)
+
+instance Convertible CULong Char where
+    safeConvert = boundedConversion (return . toEnum . fromIntegral)
+instance Convertible Char CULong where
+    safeConvert = boundedConversion (return . fromIntegral . fromEnum)
+
+instance Convertible CSize Char where
+    safeConvert = boundedConversion (return . toEnum . fromIntegral)
+instance Convertible Char CSize where
+    safeConvert = boundedConversion (return . fromIntegral . fromEnum)
+
+instance Convertible CWchar Char where
+    safeConvert = boundedConversion (return . toEnum . fromIntegral)
+instance Convertible Char CWchar where
+    safeConvert = boundedConversion (return . fromIntegral . fromEnum)
+
+instance Convertible CLLong Char where
+    safeConvert = boundedConversion (return . toEnum . fromIntegral)
+instance Convertible Char CLLong where
+    safeConvert = boundedConversion (return . fromIntegral . fromEnum)
+
+instance Convertible CULLong Char where
+    safeConvert = boundedConversion (return . toEnum . fromIntegral)
+instance Convertible Char CULLong where
+    safeConvert = boundedConversion (return . fromIntegral . fromEnum)
+
diff --git a/Data/Convertible/Instances/Num.hs b/Data/Convertible/Instances/Num.hs
--- a/Data/Convertible/Instances/Num.hs
+++ b/Data/Convertible/Instances/Num.hs
@@ -575,9 +575,9 @@
     safeConvert = return . truncate
 
 instance Convertible Float Double where
-    safeConvert = return . fromRational . toRational
+    safeConvert = return . realToFrac
 instance Convertible Double Float where
-    safeConvert = return . fromRational . toRational
+    safeConvert = return . realToFrac
 instance Convertible Float Rational where
     safeConvert = return . toRational
 instance Convertible Rational Float where
diff --git a/Data/Convertible/Instances/Time.hs b/Data/Convertible/Instances/Time.hs
--- a/Data/Convertible/Instances/Time.hs
+++ b/Data/Convertible/Instances/Time.hs
@@ -34,6 +34,7 @@
 import Data.Time.Calendar.OrdinalDate
 import Data.Typeable
 import Data.Ratio
+import Foreign.C.Types
 
 ----------------------------------------------------------------------
 -- Intra-System.Time stuff
@@ -75,14 +76,14 @@
 instance Convertible Int POSIXTime where
     safeConvert = return . fromIntegral
 instance Convertible Double POSIXTime where
-    safeConvert = return . fromRational . toRational
+    safeConvert = return . realToFrac
 
 instance Convertible POSIXTime Integer where
     safeConvert = return . truncate
 instance Convertible POSIXTime Rational where
     safeConvert = return . toRational
 instance Convertible POSIXTime Double where
-    safeConvert = return . fromRational . toRational
+    safeConvert = return . realToFrac
 instance Convertible POSIXTime Int where
     safeConvert = boundedConversion (return . truncate)
 
@@ -150,26 +151,23 @@
 }
 
 instance Convertible ST.CalendarTime POSIXTime where
-    safeConvert a = do r <- (safeConvert a)::ConvertResult ST.ClockTime
-                       safeConvert r
+    safeConvert = convertVia (undefined::ST.ClockTime)
 instance Convertible ST.CalendarTime UTCTime where
-    safeConvert a = do r <- (safeConvert a)::ConvertResult POSIXTime
-                       safeConvert r
+    safeConvert = convertVia (undefined::POSIXTime)
 
 instance Convertible ST.ClockTime POSIXTime where
     safeConvert (ST.TOD x y) = return $ fromRational $ 
-                                        fromInteger x `plusorminus` fromRational (y % 1000000000000)
-        where plusorminus = if x < 0 then (-) else (+)
+                                        fromInteger x + fromRational (y % 1000000000000)
 instance Convertible ST.ClockTime UTCTime where
-    safeConvert a = do r <- (safeConvert a)::ConvertResult POSIXTime
-                       safeConvert r
+    safeConvert = convertVia (undefined::POSIXTime)
 instance Convertible ST.ClockTime ZonedTime where
-    safeConvert a = do r <- (safeConvert a)::ConvertResult UTCTime
-                       safeConvert r
+    safeConvert = convertVia (undefined::UTCTime)
+instance Convertible ZonedTime ST.ClockTime where
+    safeConvert = convertVia (undefined::POSIXTime)
 
 instance Convertible POSIXTime ST.ClockTime where
     safeConvert x = return $ ST.TOD rsecs rpico
-        where rsecs = (truncate x :: Integer)
+        where rsecs = floor x
               rpico = truncate $ abs $ 1000000000000 * (x - (fromIntegral rsecs))
 instance Convertible UTCTime ST.ClockTime where
     safeConvert = safeConvert . utcTimeToPOSIXSeconds
@@ -182,9 +180,9 @@
             ST.ctHour = todHour ltod,
             ST.ctMin = todMin ltod,
             ST.ctSec = secs,
-            ST.ctPicosec = truncate $ (((toRational (todSec ltod) - (toRational secs)) * 1000000000000)::Rational),
+            ST.ctPicosec = pico,
             ST.ctWDay = toEnum . snd . sundayStartWeek . localDay . zonedTimeToLocalTime $ zt,
-            ST.ctYDay = snd . toOrdinalDate . localDay . zonedTimeToLocalTime $ zt,
+            ST.ctYDay = (snd . toOrdinalDate . localDay . zonedTimeToLocalTime $ zt) - 1,
             ST.ctTZName = timeZoneName . zonedTimeZone $ zt,
             ST.ctTZ = (timeZoneMinutes . zonedTimeZone $ zt) * 60,
             ST.ctIsDST = timeZoneSummerOnly . zonedTimeZone $ zt
@@ -192,9 +190,10 @@
         where (year, month, day) = toGregorian . localDay . zonedTimeToLocalTime $ zt
               ltod = localTimeOfDay . zonedTimeToLocalTime $ zt
               secs = (truncate . todSec $ ltod)::Int
+              picoRational = toRational (todSec ltod) - toRational secs
+              pico = truncate (picoRational * 1000000000000)
 instance Convertible POSIXTime ST.CalendarTime where
-    safeConvert pt = do r <- (safeConvert pt)::ConvertResult ZonedTime
-                        safeConvert r
+    safeConvert = convertVia (undefined::ZonedTime)
 instance Convertible UTCTime ST.CalendarTime where
     safeConvert = safeConvert . utcTimeToPOSIXSeconds
 
@@ -210,3 +209,55 @@
     safeConvert ndt =
         do clockt <- safeConvert ndt
            return (ST.diffClockTimes clockt (ST.TOD 0 0))
+
+instance Convertible Integer ST.TimeDiff where
+    safeConvert = convertVia (undefined::NominalDiffTime)
+instance Convertible ST.TimeDiff Integer where
+    safeConvert = convertVia (undefined :: NominalDiffTime)
+instance Convertible ST.TimeDiff Rational where
+    safeConvert = convertVia (undefined :: NominalDiffTime)
+
+----------------------------------------------------------------------
+-- Foreign.C Types
+----------------------------------------------------------------------
+
+instance Convertible CTime POSIXTime where
+    safeConvert = return . realToFrac
+instance Convertible POSIXTime CTime where
+    safeConvert = return . fromInteger . truncate
+
+instance Convertible CTime Integer where
+    safeConvert = return . truncate . toRational
+instance Convertible Integer CTime where
+    safeConvert = return . fromInteger
+
+instance Convertible CTime Double where
+    safeConvert = return . realToFrac
+instance Convertible Double CTime where
+    safeConvert = return . fromInteger . truncate
+
+instance Convertible CTime Int where
+    safeConvert x = do r1 <- safeConvert x
+                       boundedConversion (return . fromInteger) r1
+instance Convertible Int CTime where
+    safeConvert = safeConvert . toInteger
+
+instance Convertible CTime UTCTime where
+    safeConvert = convertVia (undefined :: POSIXTime)
+instance Convertible UTCTime CTime where
+    safeConvert = convertVia (undefined :: POSIXTime)
+
+instance Convertible CTime ST.ClockTime where
+    safeConvert = convertVia (undefined :: POSIXTime)
+instance Convertible ST.ClockTime CTime where
+    safeConvert = convertVia (undefined :: POSIXTime)
+
+instance Convertible CTime ST.CalendarTime where
+    safeConvert = convertVia (undefined::POSIXTime)
+instance Convertible ST.CalendarTime CTime where
+    safeConvert = convertVia (undefined::POSIXTime)
+
+instance Convertible CTime ZonedTime where
+    safeConvert = convertVia (undefined::POSIXTime)
+instance Convertible ZonedTime CTime where
+    safeConvert = convertVia (undefined::POSIXTime)
diff --git a/Data/Convertible/Utils.hs b/Data/Convertible/Utils.hs
--- a/Data/Convertible/Utils.hs
+++ b/Data/Convertible/Utils.hs
@@ -19,7 +19,8 @@
 -}
 
 module Data.Convertible.Utils(boundedConversion,
-                             mkTypeName
+                             mkTypeName,
+                             convertVia
                              )
 where
 import Data.Convertible.Base
@@ -48,5 +49,33 @@
                inp
           else return result
 
+{- | Useful for defining 'Typeable' instances.  Example:
+
+>instance Typeable TimeOfDay where
+>    typeOf _ = mkTypeName "TimeOfDay"
+-}
 mkTypeName :: String -> TypeRep
 mkTypeName name = mkTyConApp (mkTyCon name) []
+
+{- | Useful for defining conversions that are implemented in terms of other
+conversions via an intermediary type. Instead of:
+
+>instance Convertible CalendarTime POSIXTime where
+>    safeConvert a = do r <- safeConvert a
+>                       safeConvert (r :: ClockTime)
+
+we can now write:
+
+>instance Convertible CalendarTime POSIXTime where
+>    safeConvert = convertVia (undefined::ClockTime)
+
+which does the same thing -- converts a CalendarTime to a ClockTime, then a
+ClockTime to a POSIXTime, both using existing 'Convertible' instances.
+ -}
+convertVia :: (Convertible a b, Convertible b c) =>
+              b                 -- ^ Dummy data to establish intermediate type - can be undefined
+           -> a                 -- ^ Input value
+           -> ConvertResult c   -- ^ Result
+convertVia dummy inp =
+    do r1 <- safeConvert inp
+       safeConvert (asTypeOf r1 dummy)
diff --git a/convertible.cabal b/convertible.cabal
--- a/convertible.cabal
+++ b/convertible.cabal
@@ -1,11 +1,11 @@
 Name: convertible
-Version: 1.0.0
+Version: 1.0.1
 License: LGPL
 Maintainer: John Goerzen <jgoerzen@complete.org>
 Author: John Goerzen
 Copyright: Copyright (c) 2009-2009 John Goerzen
 license-file: COPYRIGHT
-extra-source-files: COPYING
+extra-source-files: COPYING, utils/genCinstances.hs
 homepage: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/convertible
 Category: Data
 synopsis: Typeclasses and instances for converting between types
@@ -25,7 +25,7 @@
  implemented in terms of the safer function described above.
  .
  Convertible is also used by HDBC 2.0 for handling marshalling of
- data to/from databases.
+ data to and from databases.
  .
  Convertible is backed by an extensive test suite and passes tests
  on GHC and Hugs.
@@ -53,6 +53,7 @@
                    Data.Convertible.Base,
                    Data.Convertible.Utils,
                    Data.Convertible.Instances,
+                   Data.Convertible.Instances.C,
                    Data.Convertible.Instances.Map,
                    Data.Convertible.Instances.Num,
                    Data.Convertible.Instances.Time
diff --git a/utils/genCinstances.hs b/utils/genCinstances.hs
new file mode 100644
--- /dev/null
+++ b/utils/genCinstances.hs
@@ -0,0 +1,66 @@
+cint = ["CChar", "CSChar", "CUChar", "CShort", "CUShort", "CInt", "CUInt", "CLong",
+        "CULong", "CSize", "CWchar", "CLLong", "CULLong"]
+cfloat = ["CFloat", "CDouble", "CLDouble"]
+hsint = ["Int", "Int8", "Int16", "Int32", "Int64", "Word", "Word8", "Word16", "Word32",
+         "Word64"]
+hsfloat = ["Double", "Float", "Rational"]
+
+printFP (f, i) = 
+    "instance Convertible " ++ f ++ " " ++ i ++ " where \n\
+    \    safeConvert = boundedConversion (return . truncate)\n\
+    \instance Convertible " ++ i ++ " " ++ f ++ " where \n\
+    \    safeConvert = return . fromIntegral\n"
+
+printIntegerF f =
+    "instance Convertible " ++ f ++ " Integer where\n\
+     \    safeConvert = return . truncate\n\
+     \instance Convertible Integer " ++ f ++ " where\n\
+     \    safeConvert = return . fromIntegral\n"
+
+printIntegerI i =
+    "instance Convertible " ++ i ++ " Integer where\n\
+    \    safeConvert = return . fromIntegral\n\
+    \instance Convertible Integer " ++ i ++ " where\n\
+    \    safeConvert = boundedConversion (return . fromIntegral)\n"
+
+printCharI i =
+    "instance Convertible " ++ i ++ " Char where\n\
+    \    safeConvert = boundedConversion (return . toEnum . fromIntegral)\n\
+    \instance Convertible Char " ++ i ++ " where\n\
+    \    safeConvert = boundedConversion (return . fromIntegral . fromEnum)\n"
+
+printFP1 (f1, f2) = 
+    "instance Convertible " ++ f1 ++ " " ++ f2 ++ " where\n\
+    \    safeConvert = return . realToFrac\n"
+
+printFPFP (f1, f2) = printFP1 (f1, f2) ++ printFP1 (f2, f1)
+
+printInt (i1, i2) =
+    "instance Convertible " ++ i1 ++ " " ++ i2 ++ " where\n\
+    \    safeConvert = boundedConversion (return . fromIntegral)\n"
+
+printIntInt (i1, i2) = printInt (i1, i2) ++ printInt (i2, i1)
+
+main = do putStrLn "-- Section 1"
+          mapM_ (putStrLn . printFP) (concatMap (\x -> map (\y -> (x, y)) hsint) cfloat)
+          putStrLn "-- Section 2"
+          mapM_ (putStrLn . printFPFP) (concatMap (\x -> map (\y -> (x, y)) hsfloat) cfloat)
+          putStrLn "-- Section 3"
+          mapM_ (putStrLn . printIntInt) (concatMap (\x -> map (\y -> (x, y)) hsint) cint)
+          putStrLn "-- Section 4"
+          mapM_ (putStrLn . printInt) . filter (\(a, b) -> a /= b) $ 
+                (concatMap (\x -> map (\y -> (x, y)) cint) cint)
+          putStrLn "-- Section 5"
+          mapM_ (putStrLn . printFP1) . filter (\(a, b) -> a /= b) $
+                (concatMap (\x -> map (\y -> (x, y)) cfloat) cfloat)
+          putStrLn "-- Section 6"
+          mapM_ (putStrLn . printIntegerF) cfloat
+          putStrLn "-- Section 7"
+          mapM_ (putStrLn . printIntegerI) cint
+          putStrLn "-- Section 8o"
+          mapM_ (putStrLn . printCharI) cint
+
+
+
+
+