[Haskell-cafe] automatically inserting type declarations