We are pleased to announce Chameleon version 04-07. Latest version can be downloaded via http://www.comp.nus.edu.sg/~sulzmann/chameleon/ New features include: * Improved Type Inference and Lexically Scoped Annotations * Improving Type Error Diagnosis * Beyond Functional Dependencies. * Existentially Quantified Type Classes. (includes guarded recursive data types aka first-class phantom types etc) Martin Sulzmann (sulzmann at comp.nus.edu.sg) Jeremy Wazny (jeremyrw at students.cs.mu.OZ.AU)