I know -ddump-types will get me the types of top level functions, but is there a way to get ghc (or really any compiler) to dump the types of everything (or at least more than that, maybe just locally bound definitions)? - Hal -- Hal Daume III "Computer science is no more about computers | hdaume@isi.edu than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume