The Chameleon system is a type debugging environment for the Haskell programming language. Compared to the default GHC (Glasgow Haskell Compiler) compiler, we aim to provide more in-depth type error analyses that are easier to comprehend. The system we present (the Chameleon system) is a complete type system and a debugging interface. The concrete implementation we provide works with the Haskell language. However, we hope the features can be generalized to many languages that employ a static type system. In this extended abstract, we showcase a few features we are currently developing for the Chameleon system that we believe can help professional programmers investigate type errors more efficiently. The advantage of the Chameleon system can also apply to the teaching and learning of functional languages.