Overview Chameleon is a Haskell style language and supports * Type classes * User-programmable CHRs * Extended algebraic data types * Lexically scoped type annotations