The latest Chamleon release includes a compiler. Chameleon programs are translated into plain Haskell (= Hindley/Milner subset plus polymorphic recursion). Note that Chameleon comes also with a type debugger. Check out http://www.comp.nus.edu.sg/~sulzmann/chameleon/ for the latest release including a number of examples. Martin