C / Haskell Abstract Interpretation