Provide framework to bind type of C language to type of Haskell automatically