The Cayenne compiler is written in Haskell.
Currently the cayenne compiler is mostly a type checker. It translates the program to LML which is then compiled with lmlc with its type checker off.
Back