Emit type signatures in compiled Haskell code.