[nhc-users] Type inference

Hi! Working with the nhc is new to me and the way I want to use it, is not very usual, I guess. I'd like to use the nhc to do type inference (instead of writing it by myself :-) I tried to understand the code fragments that do this inference, but I wasn't lucky at all... Now I wonder if there's anybody on this mailing list, who could help me. I'd like to know in which way the information about types is stored and how I can get access to this information. For any answers: Thanks a lot!! sonja uni bremen -- Die naechste WM ist erst 2006.