You can also get type signatures non-interactively with ghc's -ddump-types flag.