Hi I did a Web application for the visualization of the type inference process for the Simple Type System and pure ML. You can "play" with it at: http://www.ncc.up.pt/typetool I think it can be useful to Haskell programmers. Comments are welcome, Best regards Hugo Simões