Latest version can be downloaded via http://www.comp.nus.edu.sg/~sulzmann/chameleon/ You might also want to check out http://www.comp.nus.edu.sg/~sulzmann/chr/publications.html - The Chameleon Type Debugger (Tool Demonstration) - Interactive Type Debugging in Haskell Martin