[Haskell-cafe] modelling C in Haskell ..